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

Joachim Niehren, Manfred Pinkal, Peter Ruhrberg

Browse the full CADE paper archive.