Functional Unification of Higher-Order Patterns

Functional Unification of Higher-Order Patterns Tobias Nipkow 64-74 conf/lics/LICS8 1993 LICS db/conf/lics/lics93.html#Nipkow93