Title: Termersetzungssysteme
Subjects: Termersetzungssystem, Termsystem, Algebraische Spezifikation