Almeida, R. N., & Ghilardi, S. (2024). Unification with Simple Variable Restrictions and Admissibility of $Π_{2}$-rules.
Chicago Style (17th ed.) CitationAlmeida, Rodrigo Nicolau, and Silvio Ghilardi. Unification with Simple Variable Restrictions and Admissibility of $Π_{2}$-rules. 2024.
MLA (9th ed.) CitationAlmeida, Rodrigo Nicolau, and Silvio Ghilardi. Unification with Simple Variable Restrictions and Admissibility of $Π_{2}$-rules. 2024.
Warning: These citations may not always be 100% accurate.