Algorithms and reductions for rewriting problems II

Rakesh M. Verma. Algorithms and reductions for rewriting problems II. Inf. Process. Lett., 84(4):227-233, 2002. [doi]

Abstract

Abstract is missing.