1. Burton, J., Stapleton, G., Howse, J.: Completeness proof strategies for Euler diagram logics. In: Chapman, P., Micallef, L. (eds.) Euler Diagrams 2012: Proceedings of the 3rd International Workshop on Euler Diagrams, Canterbury, UK, July 2 (2012)
2. Halmos, P.: Naive Set Theory. Springer, New York (1974)
3. Hammer, E., Danner, N.: Towards a model theory of Venn diagrams. J. Philos. Logic 25, 463–482 (1996)
4. Shin, S.-J.: The Logical Status of Diagrams. Cambridge University Press, Cambridge (1994)
5. Stewart, I.: The truth about Venn diagrams. Math. Gaz. 70, 47–54 (1976)