TY  - BOOK
AU  - Baader,Franz
AU  - Nipkow,Tobias
TI  - Term rewriting and all that
SN  - 9780521779203 (pbk.)
U1  - 005.131 BAA 
PY  - 1999///
CY  - New York
PB  - Cambridge University Press
KW  - Rewriting systems (Computer science)
ER  -