Higher-order unification and matching (2001)

by G Dowek
Venue:Handbook of Automated Reasoning, Vol