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

by Gilles Dowek, Thrse Hardin, Claude Kirchner, Frank Pfenning
Venue:Proceedings of JICSLP'96