Gem Stapleton Judith Masthoff Jean Flower Andrew Fish Jane Southern Automated Theorem Proving in Euler Diagram Systems. 431-470 2007 39 J. Autom. Reasoning 4 http://dx.doi.org/10.1007/s10817-007-9069-y db/journals/jar/jar39.html#StapletonMFFS07