Galdino, Andre Luiz, and Mauricio Ayala-Rincón. “A Formalization of Newman’s and Yokouchi’s Lemmas in a Higher-Order Language”. Journal of Formalized Reasoning 1, no. 1 (January 1, 2008): 39–50. Accessed February 8, 2023. https://jfr.unibo.it/article/view/1347.