Baader, F., & Gil, O. F. (2026). The Unification Type of an Equational Theory May Depend on the Instantiation Preorder: From Results for Single Theories to Results for Classes of Theories.
Chicago Style (17th ed.) CitationBaader, Franz, and Oliver Fernández Gil. The Unification Type of an Equational Theory May Depend on the Instantiation Preorder: From Results for Single Theories to Results for Classes of Theories. 2026.
MLA (9th ed.) CitationBaader, Franz, and Oliver Fernández Gil. The Unification Type of an Equational Theory May Depend on the Instantiation Preorder: From Results for Single Theories to Results for Classes of Theories. 2026.
Warning: These citations may not always be 100% accurate.