TY  - BOOK
AU  - Baader, Franz
ED  - Nipkow, Tobias
TI  - Term rewriting and all that
SN  - 0521455200
U1  - 401.51 
PY  - 1998///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Rewriting systems(computer science)
KW  - Term rewriting--(computer science)
ER  -