Arthur J. Nevins
The George Washington University, Washington, D. C.
Empirical explorations with the logic theory machine: a case study in heuristics
Computers & thought
Experiments with a deductive question-answering program
Communications of the ACM