Rauber Du Bois A, Ribeiro R, Amaro M. A Mechanized Proof of a Textbook Type Unification Algorithm. RITA [Internet]. 2020 Jun. 18 [cited 2026 Sep. 10];27(3):13-24. Available from: https://seer.ufrgs.br/index.php/rita/article/view/Vol27_nr3_13