Higher-order unification via explicit substitutions, extended abstract (1995)

by G Dowek, T Hardin, C Kirchner
Venue:Proceedings of LICS’95