Algorithms and Reductions for Rewriting Problems

Rakesh M. Verma, Michaƫl Rusinowitch, Denis Lugiez. Algorithms and Reductions for Rewriting Problems. Fundamenta Informaticae, 46(3):257-276, 2001.

Abstract

Abstract is missing.