TY  - BOOK
AU  - Baader, Franz.
AU  - Nipkow, Tobias.
TI  - Term Rewriting and all that
SN  - 0 521 45520 0
CY  - Cambridge
ER  -