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

by Dougherty, Patricia Johann
Venue:In Proc. of the Eleventh Conference on Automated Deduction