<bibtex> @BOOK{BN98,
AUTHOR = {F. Baader and T. Nipkow}, TITLE = {Term Rewriting and All That}, PUBLISHER = {Cambridge University Press}, ADDRESS = {Cambridge}, YEAR = 1998
} </bibtex>
