Uni cation via explicit substitutions: The case of higher-order patterns (1996)

by Frank Pfenning, Gilles Dowek, Thrse Hardin, Claude Kirchner
Venue:In Joint International Conference and Symposium on Logic Programming (JICSLP'96