Rauber Du Bois, A., Ribeiro, R. and Amaro, M. (2020) “A Mechanized Proof of a Textbook Type Unification Algorithm”, Revista de Informática Teórica e Aplicada, 27(3), pp. 13–24. doi: 10.22456/2175-2745.100968.