1. Baddeley, A.: Working memory, thought, and action. Oxford University Press, Oxford (2007)
2. Barker-Plummer, D., Cox, R., Dale, R., Etchemendy, J.: An empirical study of errors in translating natural language into logic. In: Sloutsky, V., Love, B., McRae, K. (eds.) Proceedings of the 30th Annual Cognitive Science Society Conference. Lawrence Erlbaum Associates, Mahwah (2008)
3. Barwise, J., Etchemendy, J.: Hyperproof. CSLI Publications, University of Chicago Press (September 1994)
4. Barwise, J., Etchemendy, J., Allwein, G., Barker-Plummer, D., Liu, A.: Language, Proof and Logic. CSLI Publications, University of Chicago Press (September 1999)
5. Knauff, M., Johnson-Laird, P.N.: Visual imagery can impede reasoning. Memory and Cognition 30, 363–371 (2002)