Leandro Caniglia André Galligo Joos Heintz Equations for the projective closure and effective Nullstellensatz. 11-23 1991 33 Discrete Applied Mathematics 1-3 http://dx.doi.org/10.1016/0166-218X(91)90105-6 db/journals/dam/dam33.html#CanigliaGH91