Title: String-rewriting systems
Subjects: Rewriting systems (Computer science)