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