Joel Moses Symbolic Integration: The Stormy Decade. 548-560 1971 14 Commun. ACM 8 db/journals/cacm/cacm14.html#Moses71a