Title: Rewriting techniques and applications
Subjects: Congresses, Computer programming, Rewriting systems (Computer science), Algorithms