Programming the logic theory machine (1957)

by A NEWELL, J C SHAW
Venue:Proc. Western Joint Computer Conference