The logic theory machine (1963)

by A Newell, J C Shaw, H A Simon
Venue:Computers and Thought