| |
| 2008 | ||
|---|---|---|
| 3 | EE | Steven Trac, Geoff Sutcliffe, Adam Pease: Integration of the TPTPWorld into SigmaKEE. PAAR/ESHOL 2008 |
| 2 | EE | Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac: The Annual SUMO Reasoning Prizes at CASC. PAAR/ESHOL 2008 |
| 2007 | ||
| 1 | EE | Steven Trac, Yury Puzis, Geoff Sutcliffe: An Interactive Derivation Viewer. Electr. Notes Theor. Comput. Sci. 174(2): 109-123 (2007) |
| 1 | Adam Pease | [2] [3] |
| 2 | Yury Puzis | [1] |
| 3 | Nick Siegel | [2] |
| 4 | Geoff Sutcliffe | [1] [2] [3] |