Gilles Dowek, Thérèse Hardin, Claude Kirchner, Frank Pfenning
Unification via Explicit Substitutions: The Case of Higher-Order Patterns
ICLP, 1996.
@inproceedings{JICSLP-1996-DowekHKP,
author = "Gilles Dowek and Thérèse Hardin and Claude Kirchner and Frank Pfenning",
booktitle = "{Proceedings of the Joint International 13th Conference and Symposium on Logic Programming}",
isbn = "0-262-63173-3",
pages = "259--273",
publisher = "{MIT Press}",
title = "{Unification via Explicit Substitutions: The Case of Higher-Order Patterns}",
year = 1996,
}