The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
BibTex
<bibtex>
@BOOK{BN98,
AUTHOR = {F. Baader and T. Nipkow},
TITLE = {Term Rewriting and All That},
PUBLISHER = {Cambridge University Press},
ADDRESS = {Cambridge},
YEAR = 1998
