Philip N. Johnson-Laird Models and heterogeneous reasoning. 121-148 2006 18 J. Exp. Theor. Artif. Intell. 2 http://dx.doi.org/10.1080/09528130600558091 db/journals/jetai/jetai18.html#Johnson-Laird06