Allen Newell, J. C. Shaw. Programming the logic theory machine. In Morton M. Astrahan, editor, Papers presented at the 1957 western joint computer conference: Techniques for reliability, IRE-AIEE-ACM 1957 (Western), Los Angeles, California, USA, February 26-28, 1957. pages 230-240, ACM, 1957. [doi]
Abstract is missing.