On Equality Up-to Constraints over Finite Trees, Context Unification, and One-Step Rewriting.

Joachim Niehren Manfred Pinkal Peter Ruhrberg On Equality Up-to Constraints over Finite Trees, Context Unification, and One-Step Rewriting. 34-48 1997 conf/cade/1997 CADE db/conf/cade/cade97.html#NiehrenPR97 http://dx.doi.org/10.1007/3-540-63104-6_4