APA (7th ed.) Citation

ULLRICH, S., & DE MOURA, L. (2022). BEYOND NOTATIONS: HYGIENIC MACRO EXPANSION FOR THEOREM PROVING LANGUAGES. Logical Methods in Computer Science (LMCS), 18(2), 1. https://doi.org/10.46298/LMCS-18(21)2022

Chicago Style (17th ed.) Citation

ULLRICH, SEBASTIAN, and LEONARDO DE MOURA. "BEYOND NOTATIONS: HYGIENIC MACRO EXPANSION FOR THEOREM PROVING LANGUAGES." Logical Methods in Computer Science (LMCS) 18, no. 2 (2022): 1. https://doi.org/10.46298/LMCS-18(21)2022.

MLA (9th ed.) Citation

ULLRICH, SEBASTIAN, and LEONARDO DE MOURA. "BEYOND NOTATIONS: HYGIENIC MACRO EXPANSION FOR THEOREM PROVING LANGUAGES." Logical Methods in Computer Science (LMCS), vol. 18, no. 2, 2022, p. 1, https://doi.org/10.46298/LMCS-18(21)2022.