Higher-order uni cation and matching (2001)

by G Dowek
Venue:Voronkov (Eds.), Handbook of Automated Reasoning