| |
| * | 2003 | |
|---|---|---|
| 4 | EE | Desmond Fearnley-Sander, Timothy Stokes: Varieties of Equality Structures. IJAC 13(4): 463-480 (2003) |
| 2000 | ||
| 3 | EE | Michael Bulmer, Desmond Fearnley-Sander, Timothy Stokes: The Kinds of Truth of Geometry Theorems. Automated Deduction in Geometry 2000: 129-142 |
| 1998 | ||
| 2 | EE | Desmond Fearnley-Sander: Plane Euclidian Reasoning. Automated Deduction in Geometry 1998: 86-110 |
| 1996 | ||
| 1 | Desmond Fearnley-Sander, Timothy Stokes: Area in Grassmann Geometry. Automated Deduction in Geometry 1996: 141-170 | |
| 1 | Michael Bulmer | [3] |
| 2 | Timothy Stokes | [1] [3] [4] |