TY  - BOOK
AU  - Barendsen, Erik [et al]
AU  - Terese
TI  - Term rewriting systems
SN  - 0521391156
PB  - Cambridge University Press
KW  - Rewriting systems (Computer science)
ER  -