On rewrite constraints and context unification

Joachim Niehren, Sophie Tison, Ralf Treinen. On rewrite constraints and context unification. Inf. Process. Lett., 74(1-2):35-40, 2000. [doi]

Abstract

Abstract is missing.