Higher-order Equational Uni via Explicit Substitutions (1997)

by C Kirchner, C Ringeissen
Venue:In Proc. Algebraic and Logic Programming, volume 1298 of LNCS