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