A Heuristic Program that Solves Symbolic Integration Problem in Freshman Calculus (1963)

by J R Slagle
Venue:J. ACM