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

by D Dougherty, P Johann
Venue:Proceedings of the 11th Conference on Automated Deduction, Lecture Notes in Artificial Intelligence 607