Your search returned the following 3 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
-
Quantifier Elimination in Second-Order Predicate Logic
Thorsten Engel
Master's thesis, Universität des Saarlandes, 1996
[PS: Download: engel.ps.gz]
-
SPASS V0.77
Christoph Weidenbach, Christoph Meyer, Christian Cohrs, Thorsten Engel, and Enno Keen
Journal of Automated Reasoning 21 (1): 113-113, 1998