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

by G Dowek, T Hardin, C Kirchner, F Pfenning
Venue:In Proc. of JICSLP