%0 Book %1 Baader:1998 %A Baader, Franz %A Nipkow, Tobias %D 1998 %I Cambridge University Press %K ganter handbib slub informatik regal68 %T Term Rewriting and All That

@book{Baader:1998, added-at = {2010-04-30T18:33:19.000+0200}, author = {Baader, Franz and Nipkow, Tobias}, biburl = {https://www.bibsonomy.org/bibtex/23bc649a2dc83ea65141168434f59c993/algebradresden}, groups = {public}, interhash = {55a1fd6c39ccb0cd10a37e91fa193aaa}, intrahash = {3bc649a2dc83ea65141168434f59c993}, keywords = {ganter handbib slub informatik regal68}, publisher = {Cambridge University Press}, timestamp = {2013-04-26T12:53:07.000+0200}, title = {Term Rewriting and All That}, username = {algebradresden}, year = 1998 }