Hansjörg Neth and Philip Johnson-Laird (1999)

The search for counterexamples in human reasoning