Higher-order unification and matching (2001)

by Gilles Dowek
Venue:In Handbook of Automated Reasoning