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