Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories.

Hélène Kirchner Pierre-Etienne Moreau Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories. 207-251 2001 11 J. Funct. Program. 2 db/journals/jfp/jfp11.html#KirchnerM01