Unification via Explicit Substitutions: The Case of Higher-Order Patterns (1998)

by Gilles Dowek, Therese Hardin, Claude Kirchner, Frank Pfenning
Venue:PROCEEDINGS OF JICSLP'96