Higher-order Uni via Explicit Substitutions (2000)

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