On the Quality of pseudo-natural algorithms for the word problem. - Madlener, Klaus (Interner Bericht. Fachbereich Informatik. Universität Kaiserslautern, 1983)