A Combinatory Logic Approach to Higher-order E-unification (1992)

by Daniel J. Dougherty, Patricia Johann
Venue:in Proceedings of the Eleventh International Conference on Automated Deduction, Springer-Verlag LNAI 607