@book{124392,
	author = {Baader, Franz. and Nipkow, Tobias,},
	title = {Term rewriting and all that /},
	publisher = {Cambridge University Press,},
	year = {1999.},
	address = {New York :}
}