A Combinatory Logic Approach to Higher-order E-unification (Extended Abstract).

Daniel J. Dougherty, Patricia Johann

Browse the full CADE paper archive.