On congruence and normal forms definable by term rewriting systems - Avenhaus, Jürgen 1941- (Univ. Kaiserslautern, 1984)
Keywords: Formale Sprache; Termersetzungssystem; Kongruenz; Datenverarbeitung; Wiederherstellung