Title: Term rewriting and applications
First published: 2006
Subjects: Congresses, Computer programming, Rewriting systems (Computer science), Algorithms
LC classification: QA267 .I555 2006