Daniel Lazard A Note on Upper Bounds for Ideal-Theoretic Problems. 231-234 1992 13 J. Symb. Comput. 3 db/journals/jsc/jsc13.html#Lazard92a