Programming the logic theory machine
Papers presented at the February 26-28, 1957, western joint computer conference: Techniques for reliability on - IRE-AIEE-ACM ’57 (Western)
A. Newell
Empirical explorations of the geometry theorem machine