James R. Slagle and Philip Bursky. Experiments with a multipurpose, theorem-proving heuristic program. Journal of the Association for Computing Machinery, vol. 15 (1968), pp. 85–99.
David C. Cooper · Journal of Symbolic Logic · 1970
James R. Slagle and Philip Bursky. Experiments with a multipurpose, theorem-proving heuristic program. Journal of the Association for Computing Machinery, vol. 15 (1968), pp. 85–99. - Volume 35 Issue 4