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

by Z Qian
Venue:J. Logic and Comput