Jim Burton, Gem Stapleton, John Howse. Completeness Proof Strategies for Euler Diagram Logics. In Peter Chapman, Luana Micallef, editors, Proceedings of the 3rd International Workshop on Euler Diagrams, Canterbury, UK, July 2, 2012. Volume 854 of CEUR Workshop Proceedings, pages 2-16, CEUR-WS.org, 2012. [doi]
@inproceedings{BurtonSH12a,
title = {Completeness Proof Strategies for Euler Diagram Logics},
author = {Jim Burton and Gem Stapleton and John Howse},
year = {2012},
url = {http://ceur-ws.org/Vol-854/paper1.pdf},
researchr = {https://researchr.org/publication/BurtonSH12a},
cites = {0},
citedby = {0},
pages = {2-16},
booktitle = {Proceedings of the 3rd International Workshop on Euler Diagrams, Canterbury, UK, July 2, 2012},
editor = {Peter Chapman and Luana Micallef},
volume = {854},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}