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

by Gopalan Nadathur, Natalie Linnell
Venue:In ICLP 2005: 21st International Logic Programming Conference, volume 3668 of LNCS