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

Daniel J. Dougherty Patricia Johann A Combinatory Logic Approach to Higher-order E-unification (Extended Abstract). 79-93 1992 conf/cade/1992 CADE db/conf/cade/cade92.html#DoughertyJ92 http://dx.doi.org/10.1007/3-540-55602-8_157