Title: Confluent string rewriting
Subjects: Rewriting systems (Computer science)