| |
| 2007 | ||
|---|---|---|
| 2 | EE | Christoph Weidenbach, Renate A. Schmidt, Thomas Hillenbrand, Rostislav Rusev, Dalibor Topic: System Description: SpassVersion 3.0. CADE 2007: 514-520 |
| 2002 | ||
| 1 | EE | Christoph Weidenbach, Uwe Brahm, Thomas Hillenbrand, Enno Keen, Christian Theobald, Dalibor Topic: S PASS Version 2.0. CADE 2002: 275-279 |
| 1 | Uwe Brahm | [1] |
| 2 | Thomas Hillenbrand | [1] [2] |
| 3 | Enno Keen | [1] |
| 4 | Rostislav Rusev | [2] |
| 5 | Renate A. Schmidt | [2] |
| 6 | Christian Theobald | [1] |
| 7 | Christoph Weidenbach | [1] [2] |