Rauber Du Bois, A., Ribeiro, R., & Amaro, M. (2020). A Mechanized Proof of a Textbook Type Unification Algorithm. Revista De Informática Teórica E Aplicada, 27(3), 13–24. https://doi.org/10.22456/2175-2745.100968