- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| 1 |      | Gem Stapleton, Judith Masthoff, Jean Flower, Andrew Fish, Jane Southern: Automated Theorem Proving in Euler Diagram Systems. J. Autom. Reasoning 39(4): 431-470 (2007) |
| 1 | Andrew Fish | [1] |
| 2 | Jean Flower | [1] |
| 3 | Judith Masthoff | [1] |
| 4 | Gem Stapleton (Gemma Stapleton) | [1] |