Empirical explorations with the logic theory machine (1957)

by A Newell, J C Shaw, H A Simon
Venue:Proceedings of Western Joint Computer Conference