Higher-order Unification via Explicit Substitutions (Extended Abstract) (1995)

by Gilles Dowek, Thérèse Hardin, Claude Kirchner
Venue:Proceedings of LICS'95