A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus

James R. Slagle. A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus. Journal of the ACM, 10(4):507-520, 1963. [doi]

Abstract

Abstract is missing.