L. S. Coles: An experiment in Robot Tool Using. SRI Artificial Intelligence Group, Tech. Note 41, Oct. 1970.
 C. C. Green: Application of Theorem Proving to Problem Solving. Proc. 1st Int. Joint Conf. on Artificial Intelligence, May 1969.
 J. McCarthy P. Hayes: Some Philosophical Problems from the Standpoint of Artificial Intelligence. In: Machine Intelligence 4, 1969.
 N. J. Nilsson: Problem-Solving Methods in Artifical Intelligence. McGraw-Hill, 1971.