TY  - BOOK
AU  -  Baader, Franz
AU  - Tobias Nipkow
TI  - Term Rewriting And All That: : 
SN  - 0521779200
U1  - 005.13 
PY  - 1998///
CY  - Uk
PB  - Cambridge Univ. Press
KW  - Universal Algebra; Equational Problems; Combination Problems
N1  - index
ER  -