Hirokazu Murao Hidetsune Kobayashi Tetsuro Fujise On Factorizing the Symbolic U-Resultant - Application of the ddet Operator -. 123-142 1993 15 J. Symb. Comput. 2 db/journals/jsc/jsc15.html#MuraoKF93