Aiguier, M., & Longuet, D. (2010). Some General Results About Proof Normalization. Logica Universalis, 4(1), 1. https://doi.org/10.1007/s11787-010-0011-4
Chicago Style (17th ed.) CitationAiguier, Marc, and Delphine Longuet. "Some General Results About Proof Normalization." Logica Universalis 4, no. 1 (2010): 1. https://doi.org/10.1007/s11787-010-0011-4.
MLA (9th ed.) CitationAiguier, Marc, and Delphine Longuet. "Some General Results About Proof Normalization." Logica Universalis, vol. 4, no. 1, 2010, p. 1, https://doi.org/10.1007/s11787-010-0011-4.
Warning: These citations may not always be 100% accurate.