%0 Book Section %1 books/el/RV01/DershowitzP01 %A Dershowitz, Nachum %A Plaisted, David A. %B Handbook of Automated Reasoning %D 2001 %E Robinson, John Alan %E Voronkov, Andrei %I Elsevier and MIT Press %K dblp %P 535-610 %T Rewriting. %U http://dblp.uni-trier.de/db/books/collections/RobinsonV01.html#DershowitzP01 %@ 0-262-18223-8

@incollection{books/el/RV01/DershowitzP01, added-at = {2019-07-25T00:00:00.000+0200}, author = {Dershowitz, Nachum and Plaisted, David A.}, biburl = {https://www.bibsonomy.org/bibtex/272323cc4cfe10e6d5d1c38562bff3338/dblp}, booktitle = {Handbook of Automated Reasoning}, crossref = {books/el/RobinsonV01}, editor = {Robinson, John Alan and Voronkov, Andrei}, ee = {https://doi.org/10.1016/b978-044450813-3/50011-4}, interhash = {c7db938a052858082ffd6820452cff66}, intrahash = {72323cc4cfe10e6d5d1c38562bff3338}, isbn = {0-262-18223-8}, keywords = {dblp}, pages = {535-610}, publisher = {Elsevier and MIT Press}, timestamp = {2019-07-26T11:38:45.000+0200}, title = {Rewriting.}, url = {http://dblp.uni-trier.de/db/books/collections/RobinsonV01.html#DershowitzP01}, year = 2001 }