Rauber Du Bois, A. et al. 2020. A Mechanized Proof of a Textbook Type Unification Algorithm. Revista de Informática Teórica e Aplicada. 27, 3 (Jun. 2020), 13–24. DOI:https://doi.org/10.22456/2175-2745.100968.