Thom Mulders A Note on Subresultants and the Lazard/Rioboo/Trager Formula in Rational Function Integration. 45-50 1997 24 J. Symb. Comput. 1 db/journals/jsc/jsc24.html#Mulders97