Title: Term rewriting and all that
First published: 1998
Subjects: Rewriting systems (Computer science), Report writing
LC classification: QA267 .B314 1998