Finite complete rewriting systems and the complexity of the word problem - Bauer, Günther; Otto, Friedrich (Univ., 1984)