References

AJ89

J.R. Anderson and R. Jeffries. Novice lisp errors: Undetected losses of information from working memory. Human-Computer Interactoin, 1:107-131, 1989.

BE94

J. Barwise and J. Etchemendy. Hyperproof. CSLI, Stanford, CA, 1994.

D'A82

R. D'Andrade. Reason versus logic, 1982. Paper presented at the April Symposium on the Ecology of Cognition: Biological, Cultural, and Historical Perspectives, Greensboro, NC.

Edi88

Editor. Errata. Journal of Automated Reasoning, 4:235-236, 1988.

Gly92

C. Glymour. Thinking Things Through. MIT Press, Cambridge, MA, 1992.

HM90

D.D. Horgan and D. Morgan. Chess expertise in children. Applied Cognitive Psychology, 4:109-128, 1990.

Hor87

D.D. Horgan. Chess as a way to teach thinking. Teaching Thinking and Problem Solving, 4:109-128, 1987.

JOLL72

P.N. Johnson-Oaird, P. Legrenzi, and M.S. Legrenzi. Reasoning and a sense of reality. Journal of Automated Reasoning, 63:395-400, 1972.

ME79

K.I. Manktelow and J.S.B.T. Evans. Facilitation of reasoning by realism: Effects or non-effect? British Journal of Psychology, 70:477-488, 1979.

Pel86

F.J. Pelletier. Seventy-five problems for testing automatic theorem provers. Journal of Automated Reasoning, 2:191-216, 1986.

SS94

Richard Scheines and Wilfried Sieg. Computer environments for proof construction. Interactive Learning Environments, 4(2):159-169, 1994.

Tra96

T. Trabasso. Review of "Knowledge and Memory: The Real Story". Minds and Machines, 6(1):399-403, 1996.

WJL72

P.C. Wason and P.N. Johnson-Laird. Psychology of Reasoning: Structure and Content. Harvard University Press, Cambridge, MA, 1972.

Wye95

R.S. Wyer. Knowledge and Memory: The Real Story. Lawrence Erlbaum, Hillsdale, NJ, 1995.