%0 Book %1 BaaderNi99 %A Baader, Franz %A Nipkow, Tobias %D 1999 %I Cambridge University Press %K book equational_logic term_rewriting universal_algebra %T Term Rewriting and All That %U http://www.cambridge.org/us/catalogue/catalogue.asp?isbn=9780521779203 %@ 0521779200

@book{BaaderNi99, added-at = {2009-02-11T11:33:20.000+0100}, author = {Baader, Franz and Nipkow, Tobias}, biburl = {https://www.bibsonomy.org/bibtex/223910d2f8d4d06786402ce7f47dd7176/emanuel}, description = {the first comprehensive text book on term rewriting}, interhash = {42dc93d3df1365e05b67369fed390e19}, intrahash = {23910d2f8d4d06786402ce7f47dd7176}, isbn = {0521779200}, keywords = {book equational_logic term_rewriting universal_algebra}, publisher = {Cambridge University Press}, timestamp = {2009-02-11T11:33:20.000+0100}, title = {Term Rewriting and All That}, url = {http://www.cambridge.org/us/catalogue/catalogue.asp?isbn=9780521779203}, year = 1999 }