Alexandre Boudet Evelyne Contejean AC-Unification of Higher-Order Patterns. 267-281 1997 conf/cp/1997 CP db/conf/cp/cp97.html#BoudetC97