Linear unification of higher-order patterns (1993)

by Zhenyu Qian
Venue:Proc. 1993 Coll. Trees in Algebra and Programming. Springer Verlag LNCS