Algebraische Grundlagen der Termersetzung mit bedingten Gleichungen - Claßen, Ingo (Technische Universität <Berlin, West> / Fachbereich Informatik: Bericht, 1988)