1. J. A. Robinson, “The Present State of Mechanical Theorem Proving,” a paper presented at the Fourth Systems Symposium, Cleveland, Ohio, November 19-20, 1968 (proceedings to be published).
2. C. Green and B. Raphael, “The Use of Theorem-Proving Techniques in Question-Answering Systems,” Proc. 23rd Nat'l. Conf. ACM, (Thompson Book Company, Washington, D.C., 1968).
3. “Theorem Proving by Resolution as a Basis for Question-Answering Systems,”;Green,1969
4. N.J. Nilsson, “A Mobile Automaton: An Application of Artificial Intelligence Techniques,” a paper presented at the International Joint Conference on Artificial Intelligence, Washington, D.C., May 7-9, 1969 (proceedings to be published).
5. “Some Philosophical Problems from the Standpoint of Artificial Intelligence,”;McCarthy,1969