Boudet and Evalyne Contejean. AC-unication of higher-order patterns (1997)

by Alexandre
Venue:Third International Conference on Principles and Practice of Constraint Programming