1. Aitken, S., & Melham, T. (2000). An analysis of errors in interactive proof attempts. Interacting with Computers, 12, 565–586.
2. Bacon, A., Handley, S., & Newstead, S. (2003). Individual differences in strategies for syllogistic reasoning. Thinking and Reasoning, 9, 133–168.
3. Barwise, J., & Etchemendy, J. (1992). Hyperproof: Logical reasoning with diagrams. In B. Chandrasekaran & H. Simon (Eds.), Reasoning with diagrammatic representations: Paper from the 1992 AAAI Spring Symposium, Technical Report SS-92-02 (pp. 77–81). Menlo Park, CA: AAAI Press.
4. Barwise, J., & Etchemendy, J. (1994). Hyperproof, CSLI lecture notes, No. 42. Stanford, CA: CSLI Publications.
5. Barwise, J., & Shimojima, A. (1995). Surrogate reasoning. Cognitive Studies: Bulletin of Japanese Cognitive Science Society, 4, 7–27.