| | 1999 | Weidenbach, Christoph
Afshordel, Bijan
Brahm, Uwe
Cohrs, Christian
Engel, Thorsten
Keen, Enno
Theobalt, Christian
Topić, Dalibor | Ganzinger, Harald | | System Description: SPASS Version 1.0.0
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 314-318 | Proceedings Article | |
| | 1998 | Weidenbach, Christoph
Meyer, Christoph
Cohrs, Christian
Engel, Thorsten
Keen, Enno | | | SPASS V0.77
In: Journal of Automated Reasoning [21], 113-113 | Journal Article | |
1 |
| Escalada-Imaz, Gonzalo (ed.) |
| |
2 |
| Fariñas del Cerro, Luís (ed.) |
| |
1 |
| Felleisen, Matthias (ed.) |
| |
1 |
| Fermüller, Christian (ed.) |
| |
1 |
| Firozabadhi, Babak Sadighi |
| |