Title: Conditional Term Rewriting Systems, 1st International Workshop
Subjects: Rewriting systems (Computer science), Congresses