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

by Z Qian
Venue:J. of Logic and Computation