Title: Confluent string rewriting
First published: 1988
Subjects: Rewriting systems (Computer science)
LC classification: QA267