Title: Rewriting Techniques and Applications
Subjects: Computer algorithms, Congresses, Rewriting systems (Computer science), Computer programming, Algorithms