Automated Theorem Proving in Euler Diagram Systems. - Gem Stapleton; Judith Masthoff; Jean Flower; Andrew Fish; Jane Southern (J. Autom. Reason., 2007)