"Algorithms and Reductions for Rewriting Problems."

Rakesh M. Verma, Michaël Rusinowitch, Denis Lugiez (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics