| |
| 2007 | ||
|---|---|---|
| 3 | EE | Geoff Sutcliffe, Yury Puzis: SRASS - A Semantic Relevance Axiom Selection System. CADE 2007: 295-310 |
| 2 | EE | 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 | Geoff Sutcliffe | [1] [2] [3] |
| 3 | Steven Trac | [2] |