Bagrow, L. and Skelton, R.A., 1964, History of Cartography, London: C.A. Watts and Co.
Barker-Plummer, D. and Bailin, S.C., 1997, “The role of diagrams in mathematical proofs,” Machine GRAPHICS and VISION
6(1), 25–56 (special issue on “Diagrammatic Representation and Reasoning”).
Barwise, J. and Etchemendy, J., 1995, “Heterogeneous logic,” pp. 209–232 in Diagrammatic Reasoning: Cognitice and Computational Perspectives, J. Glasgow, N.H. Narayanan, and B. Chandrasekaran, eds., Cambridge, MA: AAAI Press/The MIT Press.
Barwise, J. and Shimojima, A., 1995, “Surrogate reasoning,” Cognitive Studies: Bulletin of Japanese Cognitive Science Society
Cheng, P.C.-H., 1996, “Scientific discovery with law-encoding diagrams,” Creativity Research Journal
Cummins, R., 1996, Representations, Targets, and Attitudes, Cambridge, MA: The MIT Press.
Dretske, F., 1981, Knowledge and the Flow of Information, Cambridge, MA: Bradford/The MIT Press.
Eggleston, H.G., 1969, Convexity, Cambridge: Cambridge University Press.
Euler, L., 1768, Lettres à une princesse d'Allemagne, St. Petersburg: L'Académie Impériale des Sciences.
Funt, B.V., 1980, “Problem-solving with diagrammatic representations,” Artificial Intelligence
Gärdenfors, P.: 1996, “Mental representation, conceptual spaces, and metaphors,” Synthese
Gelernter, H., 1959, “Realization of a geometry-theorem proving machine,” pp. 134–152 in Computers and Thought, E.A. Feigenbaum and J. Feldman, eds., New York: McGraw-Hill.
Gooday, J. and Cohn, A., 1996, “Using spatial logic to describe visual languages,” Artificial Intelligence Review
Goodman, N., 1968, Languages of Art: An Approach to a Theory of Symbols, London: Oxford University Press.
Grigni, M., Papadias, D., and Papadimitriou, C., 1995, “Topological inference,” pp. 901–906 in International Joint Conference on Artificial Intelligence (IJCAI' 95), C.S. Mellish, ed., Morgan Kaufmann.
Hammer, E.M., 1995, Logic and Visual Information, Studies in Logic, Language, and Information, Stanford, CA: CSLI Publications and FoLLI.
Harel, D., 1988, “On visual formalisms,” Communications of the ACM
Howell, R., 1976, “Ordinary pictures, mental representations, and logical forms,” Synthese
Jamnik, M., Bundy, A., and Green, I., 1999, “On automating diagrammatic proofs of arithmetic arguments,” Journal of Logic, Language, and Information, this issue.
Kosslyn, S.M., 1994, Image and Brain: The Resolution of the Imagery Debate, Cambridge, MA: The MIT Press.
Larkin, J. and Simon, H., 1987, “Why a diagram is (sometimes) worth 10,000 words,” Cognitive Science
Lemon, O. and Pratt, I., 1997a, “Logical and diagrammatic reasoning: The complexity of conceptual space,” pp. 430–435 in 19th Annual Conference of the Cognitive Science Society, M. Shafto and P. Langley, eds., New Jersey: Lawrence Erlbaum Associates.
Lemon, O. and Pratt, I., 1997b, “Spatial logic and complexity of diagrammatic reasoning,” Machine GRAPHICS and VISION
6(1), 89–108 (special issue on “Diagrammatic Representation and Reasoning”).
Lemon, O. and Pratt, I., 1999, “On the insufficiency of linear diagrams for syllogisms,” Notre Dame Journal of Formal Logic, to appear.
Levesque, H.J., 1988, “Logic and the complexity of reasoning,” Journal of Philosophical Logic
Peirce, C.S., 1933, Collected Papers, Cambridge, MA: Harvard University Press.
Pylyshyn, Z.W., 1981, “Imagery and artificial intelligence,” pp. 170–196 in Readings in Philosophy of Psychology, Vol. 2, N. Block, ed., Cambridge, MA: Harvard University Press.
Russell, B., 1923, “Vagueness,” pp. 145–154 in Essays on Language, Mind, and Matter 1912-26, The Collected Papers of Bertrand Russell, J. Slater, ed., London: Unwin Hyman.
Shimojima, A., 1996, “On the efficacy of representation,” Ph.D. Thesis, Indiana University.
Shin, S.-J., 1995, The Logical Status of Diagrams, Cambridge: Cambridge University Press.
Sowa, J.F., 1984, Conceptual Structures: Information Processing on Mind and Machine, London: Addison Wesley.
Stenning, K. and Lemon, O., 1999, “Aligning logical and psychological perspectives on diagrammatic reasoning,” Artificial Intelligence Review, to appear.
Stenning, K. and Oberlander, J., 1995, “A cognitive theory of graphical and linguistic reasoning: Logic and implementation,” Cognitive Science
Venn, J., 1881, Symbolic Logic, London: MacMillan.