Jean Gallier;Wayne S. Snyder
-;-
Higher-order unification revisited: Complete sets of transformations
Journal of Symbolic Computation
Constraint solving on terms
Constraints in computational logics