Unification of higher-order patterns in linear time and (1996)

by Z Qian