   |
On Rewrite Constraints and Context Unification
Author: Joachim Niehren and Ralf Treinen and Sophie TisonEditor:
We show that stratified context unification, which is one
of the
most expressive fragments of context unification known to be
decidable, is equivalent to the satisfiability problem of slightly
generalized rewriting constraints.
|