Rauber Du Bois, André, Rodrigo Ribeiro, and Maycon Amaro. “A Mechanized Proof of a Textbook Type Unification Algorithm”. Revista de Informática Teórica e Aplicada 27, no. 3 (June 18, 2020): 13–24. Accessed April 18, 2024. https://seer.ufrgs.br/index.php/rita/article/view/Vol27_nr3_13.