Information Technology
An approach to heuristic problem-solving and theorem proving in the propositional calculus
In Hart, J. and Takasu, S. (Eds.), Systems and Computer Science. University of Toronto Press
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931
Harvard University Press
The Greenblatt chess program
Greenblatt, R. D. | Eastlake, D. E. | Crocker, S. D.
In Proc. Fall Joint Computer Conference, pp. 801–810.
Semantics for a Question-Answering System
PhD. dissertation, Harvard University, August 1967. Reprinted as a volume in the series Outstanding Dissertations in the Computer Sciences, New York: Garland Publishing, 1979
An approach toward answering English questions from text
Simmons, R. F. | Burger, J. F. | Long, R. E.
AFIPS Conference Proceedings 29, Fall Joint Computer Conference. Washington, D.C.: Spartan Books, 357-363.
Game-playing and game-learning automata
In Fox, L. (Ed.), Advances in Programming and Non-Numerical Computation, pp. 183â200. Pergamon.
Statistical inference for probabilistic functions of finite state Markov chains
Annals of Mathematical Statistics, 41.
Cognitive processes in solving algebra word problems
In B. Kleinmuntz (Ed.), Problem solving. New York: Wiley, 51-119.
Experiments with the graph traverser program
Proc. Royal Society of London, 294, Series A, 235–259.