Linear uni cation of higher-order patterns (1993)

by Z Qian
Venue:Proceedings of TAPSOFT'93, volume 668 of LNCS