William Michael Farmer
-
Higher-order unification revisited: Complete sets of transformations
Journal of Symbolic Computation