On congruence and normal forms definable by term rewriting systems - Avenhaus, Jürgen 1941- (Interner Bericht / Fachbereich Informatik, Universität Kaiserslautern, 1984)