Richard J. Fateman Advances and Trends in the Design and Construction of Algebraic Manipulation Systems. 60-67 1990 ISSAC http://doi.acm.org/10.1145/96877.96895 db/conf/issac/issac90.html#Fateman90