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

by Joachim Niehren, Manfred Pinkal, Peter Ruhrberg
Venue:In CADE