Programming the Logic Theory Machine (1957)

by A Newell, J C Shaw
Venue:Proc. Western Joint Computer Conf., Los Angeles, February 26–28