RAUBER DU BOIS, A.; RIBEIRO, R.; AMARO, M. A Mechanized Proof of a Textbook Type Unification Algorithm. Revista de Informática Teórica e Aplicada, [S. l.], v. 27, n. 3, p. 13–24, 2020. DOI: 10.22456/2175-2745.100968. Disponível em: https://seer.ufrgs.br/index.php/rita/article/view/Vol27_nr3_13. Acesso em: 28 mar. 2024.