| |
| * | 2009 | |
|---|---|---|
| 3 | EE | Christoph Weidenbach, Dilyana Dimova, Arnaud Fietzke, Rohit Kumar, Martin Suda, Patrick Wischnewski: SPASS Version 3.5. CADE 2009: 140-145 |
| 2 | EE | Martin Suda, Geoff Sutcliffe, Patrick Wischnewski, Manuel Lamotte-Schubert, Gerard de Melo: External Sources of Axioms in Automated Theorem Proving. KI 2009: 281-288 |
| 2008 | ||
| 1 | EE | Christoph Weidenbach, Patrick Wischnewski: Contextual Rewriting in SPASS. PAAR/ESHOL 2008 |
| 1 | Dilyana Dimova | [3] |
| 2 | Arnaud Fietzke | [3] |
| 3 | Rohit Kumar | [3] |
| 4 | Manuel Lamotte-Schubert | [2] |
| 5 | Gerard de Melo | [2] |
| 6 | Martin Suda | [2] [3] |
| 7 | Geoff Sutcliffe | [2] |
| 8 | Christoph Weidenbach | [1] [3] |