H. Cirstea, G. Faure, and C. Kirchner, A rho-calculus of explicit constraint application, Proceedings of the 5th workshop on rewriting logic and applications, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00095626

H. Kirchner and P. Moreau, Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative-commutative theories, Journal of Functional Programming, vol.11, issue.2, pp.207-251, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00100926

[. Moreau, C. Ringeissen, and M. Vittek, A Pattern Matching Compiler for Multiple Target Languages, 12th Conference on Compiler Construction, pp.61-76, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00099427

]. E. Vis01 and . Visser, Stratego: A language for program transformation based on rewriting strategies (system description), Rewriting Techniques and Applications, 12th International Conference, pp.357-362, 2001.