Title: Conditional term rewriting systems
First published: 1993
Subjects: Congresses, Rewriting systems (Computer science)
LC classification: QA267