Empirical Explorations of the Logic Theory Machine (1957)

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