Keith Stenning Oliver Lemon Aligning Logical and Psychological Perspectives on Diagrammatic Reasoning. 29-62 2001 15 Artif. Intell. Rev. 1/2 db/journals/air/air15.html#StenningL01