Higher-order Unification via Explicit Substitutions. (2000)

by G Dowek, T Hardin, C Kirchner
Venue:Information and Computation,