The Logic Theory Machine (1956)

by A Newell, H A Simon