Newell, A., Shaw, J. C., and Simon, H. A., "Empirical Explorations of the Logic Theory Machine: A Case Study in Heuristic" pp218-239

[JCC 11] (1957) [JCC 11] Proceedings of the Western Joint Computer Conference, Los Angeles February 1957  

Languages mentioned IPL-IV {1956} Information Processing Language version 4 LT {1957} Logical Theorist - theorem proving system at RAND