Unification via Explicit Substitutions: The Case of Higher-Order Patterns.

Gilles Dowek, Thrse Hardin, Claude Kirchner, Frank Pfenning

Browse the full ICLP paper archive.