| 2007 | ||
|---|---|---|
| 1 | EE | 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 | [1] |