BEYOND NOTATIONS: HYGIENIC MACRO EXPANSION FOR THEOREM PROVING LANGUAGES. - ULLRICH, SEBASTIAN; DE MOURA, LEONARDO (Logical Methods in Computer Science (LMCS), 2022)