An SML implementation of higher-order pattern unification (2004)

by G Nadathur, N Linnell