On the Quality of pseudo-natural algorithms for the word problem - Otto, Friedrich (1983)