@book{59641,
	author = {Nipkow, Tobias, 1958- and Baader, Franz},
	title = {Term rewriting and all that },
	publisher = {Cambridge University Press},
	year = {1998},
	address = {Cambridge :},
	note = {Includes bibliographical references},
	url = {http://www.loc.gov/catdir/toc/cam027/97028286.html}
}