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]
@inproceedings{NewellS57,
title = {Programming the logic theory machine},
author = {Allen Newell and J. C. Shaw},
year = {1957},
doi = {10.1145/1455567.1455606},
url = {https://doi.org/10.1145/1455567.1455606},
researchr = {https://researchr.org/publication/NewellS57},
cites = {0},
citedby = {0},
pages = {230-240},
booktitle = {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},
editor = {Morton M. Astrahan},
publisher = {ACM},
isbn = {978-1-4503-7861-1},
}