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] |