Oaksford, Mike and Chater, N. (2014) Probabilistic single function dual process theory and logic programming as approaches to non-monotonicity in human vs. artificial reasoning. Thinking & Reasoning 20 (2), pp. 269-295. ISSN 1354-6783.