1. Barwise, J., Etchemendy, J.: Language Proof and Logic. CSLI (1999)
2. Chow, S.: Generating and Drawing Area-Proportional Euler and Venn Diagrams. PhD thesis. University of Victoria (2007)
3. Dau, F.:
http://www.dr-dau.net/eg_readings.shtml
(2006)
4. Fish, A., Flower, J., Howse, J.: The semantics of augmented constraint diagrams. Journal of Visual Languages and Computing 16, 541–573 (2005)
5. Flower, J., Howse, J.: Generating Euler diagrams. In: Proceedings of 2nd International Conference on the Theory and Application of Diagrams, Georgia, USA, April 2002, pp. 61–75. Springer, Heidelberg (2002)