Practical higher-order pattern unification with on-the-fly raising (2005)

by G Nadathur, N Linnell
Venue:In ICLP 2005: 21st International Logic Programming Conference. LNCS