Linear unication of higher-order patterns (1993)

by Zhenyu Qian
Venue:Proceedings of the Colloquium on Trees in Algebra and Programming