%0 Conference Paper %1 WBH+02-CADE18 %A Weidenbach, Christoph %A Brahm, Uwe %A Hillenbrand, Thomas %A Keen, Enno %A Theobalt, Christian %A Topić, Dalibor %B Automated deduction, CADE-18 : 18th International Conference on Automated Deduction %C Kopenhagen, Denmark %D 2002 %E Voronkov, Andrei %I Springer %K imported %P 275--279 %T SPASS Version 2.0 %V 2392 %X SPASS is an automated theorem prover for full first-order logic with equality. This system description provides an overview of recent developments in SPASS 2.0, including among others an implementation of contextual rewriting, refinements of the clause normal form transformation, and enhancements of the inference engine. %@ 3-540-43931-5

@inproceedings{WBH+02-CADE18, abstract = {SPASS is an automated theorem prover for full first-order logic with equality. This system description provides an overview of recent developments in SPASS 2.0, including among others an implementation of contextual rewriting, refinements of the clause normal form transformation, and enhancements of the inference engine.}, added-at = {2006-11-26T11:43:57.000+0100}, address = {Kopenhagen, Denmark}, author = {Weidenbach, Christoph and Brahm, Uwe and Hillenbrand, Thomas and Keen, Enno and Theobalt, Christian and Topić, Dalibor}, biburl = {https://www.bibsonomy.org/bibtex/27695f0dae3454a32d62f145886df667b/lonzo}, booktitle = {Automated deduction, CADE-18 : 18th International Conference on Automated Deduction}, description = {BibTeX Entries for: Brahm, Uwe}, editor = {Voronkov, Andrei}, interhash = {445dff5af035ffac5347c3af68af86e3}, intrahash = {7695f0dae3454a32d62f145886df667b}, isbn = {3-540-43931-5}, keywords = {imported}, paddress = {Heidelberg, Germany}, pages = {275--279}, publisher = {Springer}, series = {Lecture Notes in Artificial Intelligence}, timestamp = {2006-11-26T11:43:57.000+0100}, title = {{SPASS} Version 2.0}, volume = 2392, year = 2002 }