1. Alter, A. L., Oppenheimer, D. M., Epley, N., & Eyre, R. N. (2007). Overcoming intuition: Metacognitive difficulty activates analytic reasoning. Journal of Experimental Psychology: General, 136, 569–576.
2. Baron, M. E. (1969). A note on the historical development of logic diagrams: Leibniz, Euler and Venn. The Mathematical Gazette, 53, 113–125.
3. Barwise, J., & Cooper, R. (1981). Generalized quantifiers and natural language. Linguistics and Philosophy, 4, 159–219.
4. Barwise, J., & Etchemendy, J. (1991/1996). Visual information and valid reasoning. In W. Zimmerman & S. Cunningham (Eds.), Visualization in teaching and learning mathematics, MAA Notes, Number 19 (pp. 9–24). Reprinted in G. Allwein & J. Barwise (Eds). (1996). Logical reasoning with diagrams (pp. 3–26). New York: Oxford University Press.
5. Barwise, J., & Etchemendy, J. (1994). Hyperproof, CSLI Lecture Notes, No. 42. Stanford, CA: CSLI Publications.