Title: Termersetzungssysteme
Subjects: Rewriting systems (Computer science)