Joachim Niehren Sophie Tison Ralf Treinen On rewrite constraints and context unification. 35-40 2000 74 Inf. Process. Lett. 1-2 db/journals/ipl/ipl74.html#NiehrenTT00 http://dx.doi.org/10.1016/S0020-0190(00)00036-3