Pascual Julián Iranzo On the Correctness of the Factoring Transformation. 119-133 2002 conf/flops/2002 FLOPS http://dx.doi.org/10.1007/3-540-45788-7_7 db/conf/flops/flops2002.html#Iranzo02