TY  - BOOK
AU  - Nipkow, Tobias, 1958-
AU  - Baader, Franz
TI  - Term rewriting and all that 
SN  - 0521455200
AV  - QA 267 Baa 
PY  - 1998///
CY  - Cambridge
PB  - Cambridge University Press
KW  - REWRITING SYSTEMS (COMPUTER SCIENCE)
N1  - Includes bibliographical references
UR  - http://www.loc.gov/catdir/toc/cam027/97028286.html
ER  -