%0 Book %1 Fitting:96 %A Fitting, M. C. %B Graduate Texts in Computer Science %C Berlin %D 1996 %I Springer-Verlag %K juergen %T First-Order Logic and Automated Theorem Proving %7 2nd

@book{Fitting:96, added-at = {2008-03-11T14:52:34.000+0100}, address = {Berlin}, author = {Fitting, M. C.}, biburl = {https://www.bibsonomy.org/bibtex/288302316c55b601312f8703e6c0a907a/idsia}, citeulike-article-id = {2380824}, edition = {2nd}, interhash = {843c363dbc3777de133ffd1efd2ec94c}, intrahash = {88302316c55b601312f8703e6c0a907a}, keywords = {juergen}, priority = {2}, publisher = {Springer-Verlag}, series = {Graduate Texts in Computer Science}, timestamp = {2008-03-11T14:55:22.000+0100}, title = {First-Order Logic and Automated Theorem Proving}, year = 1996 }