Stenning, Keith and Oberlander, Jon (1997) A cognitive theory of graphical and linguistic reasoning: logic and implementation. Cognitive Science. [Journal (Paginated)]