Finite complete Rewriting Systems and the complexity of the word problem - Otto, Friedrich (1984)