Higher-order unification via explicit substitutions (0)

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