   |
On Rewrite Constraints and Context Unification
Autor: Joachim Niehren and Ralf Treinen and Sophie TisonHerausgeber:
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.
|