Title: Term Rewriting and Applications
Subjects: Congresses, Computer programming, Rewriting systems (Computer science), Algorithms, Logic design, Data processing, Computer science, Artificial intelligence, Algebra