Thomas Dubé A Combinatorial Proof of the Effective Nullstellensatz. 277-296 1993 15 J. Symb. Comput. 3 db/journals/jsc/jsc15.html#Dube93 http://dx.doi.org/10.1006/jsco.1993.1020