Joachim Niehren,
Manfred Pinkal and
Peter Ruhrberg. On Equality up-to Constraints over Finite Trees, Context Unification and One-Step Rewriting. In
W. McCune editor, 14th International Conference on Automated Deduction (CADE 14), July 13-17, (1249):34-48, Springer, Townsville, Australia, 1997. [Abstract] google [Annote]
