Algorithms for Rational Function Arithmetic Operations Ellis Horowitz 108-118 conf/stoc/STOC4 1972 STOC db/conf/stoc/stoc72.html#Horowitz72