| |
| 2000 | ||
|---|---|---|
| 4 | EE | Michael Bulmer, Desmond Fearnley-Sander, Timothy Stokes: The Kinds of Truth of Geometry Theorems. Automated Deduction in Geometry 2000: 129-142 |
| 3 | EE | Timothy Stokes, Michael Bulmer: A Complex Change of Variables for Geometrical Reasoning. Automated Deduction in Geometry 2000: 143-153 |
| 1996 | ||
| 2 | Michael Bulmer: Inductive Equational Reasoning. PRICAI 1996: 13-22 | |
| 1 | Michael Bulmer: Inductive theories from equational systems. PRICAI Workshops 1996: 78-91 | |
| 1 | Desmond Fearnley-Sander | [4] |
| 2 | Timothy Stokes | [3] [4] |