Title: Term rewriting systems
Subjects: Rewriting systems (Computer science), Computer software