Galdino, Andre Luiz, and Mauricio Ayala-Rincón. 2008. “A Formalization of Newman’s and Yokouchi’s Lemmas in a Higher-Order Language”. Journal of Formalized Reasoning 1 (1):39-50. https://doi.org/10.6092/issn.1972-5787/1347.