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

by G Dowek, T Hardin, C Kirchner, F Pfenning
Venue:In Proc. of the Joint International Conference and Symposium on Logic Programming (JICSLP