| 2009 | ||
|---|---|---|
| 4 | Alex Roederer, Yury Puzis, Geoff Sutcliffe: Divvy: An ATP Meta-system Based on Axiom Relevance Ordering. CADE 2009: 157-162 | |
| 2007 | ||
| 3 | Geoff Sutcliffe, Yury Puzis: SRASS - A Semantic Relevance Axiom Selection System. CADE 2007: 295-310 | |
| 2 | Steven Trac, Yury Puzis, Geoff Sutcliffe: An Interactive Derivation Viewer. Electr. Notes Theor. Comput. Sci. 174(2): 109-123 (2007) | |
| 2006 | ||
| 1 | Yury Puzis, Yi Gao, Geoff Sutcliffe: Automated Generation of Interesting Theorems. FLAIRS Conference 2006: 49-54 | |
| 1 | Yi Gao | [1] |
| 2 | Alex Roederer | [4] |
| 3 | Geoff Sutcliffe | [1] [2] [3] [4] |
| 4 | Steven Trac | [2] |