On equality up-to constraints over finite trees, context unification, and one-step rewriting (1997)

by J Niehren, M Pinkal, P Ruhrberg
Venue:Proceedings of the 14th International Conference on Automated Deduction