"Practical Higher-Order Pattern Unification with On-the-Fly Raising."

Gopalan Nadathur, Natalie Linnell (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics