Gem Stapleton, Judith Masthoff, Jean Flower, Andrew Fish, Jane Southern. Automated Theorem Proving in Euler Diagram Systems. Journal of Automated Reasoning, 39(4):431-470, 2007. [doi]
@article{StapletonMFFS07,
title = {Automated Theorem Proving in Euler Diagram Systems},
author = {Gem Stapleton and Judith Masthoff and Jean Flower and Andrew Fish and Jane Southern},
year = {2007},
doi = {10.1007/s10817-007-9069-y},
url = {http://dx.doi.org/10.1007/s10817-007-9069-y},
researchr = {https://researchr.org/publication/StapletonMFFS07},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {39},
number = {4},
pages = {431-470},
}