Your search returned the following 2 documents:
-
System Description: SPASS Version 1.0.0
Christoph Weidenbach, Bijan Afshordel, Uwe Brahm, Christian Cohrs, Thorsten Engel, Enno Keen, Christian Theobalt, and Dalibor Topić
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), Trento, Italy, 1999, 314-318
-
SPASS Version 2.0
Christoph Weidenbach, Uwe Brahm, Thomas Hillenbrand, Enno Keen, Christian Theobalt, and Dalibor Topić
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, Kopenhagen, Denmark, 2002, 275-279
[PS: Download: spass2002.ps]