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]

Possibly Related Publications

The following publications are possibly variants of this publication: