Selected papers that cite this one
- C. L. Chang and J. R. Slagle. Completeness of linear refutation for theories with equality. Journal of the ACM, 18(1):126-136, January 1971.
- Erik J. Sandewall. A planning problem solver based on look-ahead in stochastic game trees. Journal of the ACM, 16(3):364-382, July 1969.
- Richard Simon and Richard C. T. Lee. On the optimal solutions to AND/OR series-parallel graphs. Journal of the ACM, 18(3):354-372, July 1971.
- James R. Slagle and John K. Dixon. Experiments with some programs that search game trees. Journal of the ACM, 16(2):189-207, April 1969.
Selected references
- James R. Slagle. A heuristic program that solves symbolic integration problems in freshman calculus. Journal of the ACM, 10(4):507-520, October 1963.