Daniel Lazard Renaud Rioboo Integration of Rational Functions: Rational Computation of the Logarithmic Part. 113-115 1990 9 J. Symb. Comput. 2 db/journals/jsc/jsc9.html#LazardR90