Functional unification of higher-order patterns (1993)

by T Nipkow
Venue:In Proc. 8th IEEE Symposium on Logic in Computer Science (LICS