ACM - affordances
H. Gelernter
J. R. Hansen
D. W. Loveland
Papers presented at the May 3-5, 1960, western joint IRE-AIEE-ACM computer conference on - IRE-AIEE-ACM ’60 (Western)
Realization of a Geometry Theorem-Proving Machine
Some Methods of Artificial Intelligence and Heuristic Programming
Report on a General Problem-Solving Program
Programming the logic theory machine
A Fortran-Compiled List-Processing Language