Title: Conditional term rewriting systems
Subjects: Congresses, Rewriting systems (Computer science), Machine theory