1. Lindsay, R.K.: Knowing about diagrams. In: Anderson, M., McCartney, R. (eds.) Learning from Diagrams. Special Issue on Diagrammatic Reasoning of Journal of Machine Vision and Graphics, vol. 6(1) (1997)
2. Lindsay, R.K.: Using diagrams to understand geometry. Computational Intelligence 14, 222–256 (1998)
3. Jamnik, M.: Mathematical Reasoning with Diagrams. CSLI Publications, Stanford (2001)
4. Furnas, G.: Formal models for imaginal deduction. In: Proceedings of the Twelfth Annual Conference of the Cognitive Science Society, Cambridge, Mass., July 25-28, pp. 662–669. Lawrence Erlbaum, Hillsdale (1990)
5. Furnas, G.: Reasoning with Diagrams Only. In: Narayanan, N. (ed.) Proceedings of AAAI Spring Symposium on Reasoning with Diagrammatic Representations. AAAI Press, Menlo Park (1992)