Inferential Learning through Counterexample Construction. - Michael Zelig Sperling (1976)