\begin{thebibliography}{CLO07}

\bibitem[Bro87]{Brownawell87}
W.~Dale Brownawell.
\newblock Bounds for the degrees in the {N}ullstellensatz.
\newblock {\em The Annals of Mathematics}, 126(3):577--591, 1987.

\bibitem[CLO07]{CoxLO07}
David~A. Cox, John Little, and Donal O'Shea.
\newblock {\em Ideals, Varieties, and Algorithms: An Introduction to
  Computational Algebraic Geometry and Commutative Algebra}.
\newblock Springer-Verlag New York, Inc., Secaucus, NJ, USA, 2007.

\bibitem[Dub93]{Dube93}
Thomas~W. Dub{\'e}.
\newblock A combinatorial proof of the effective {N}ullstellensatz.
\newblock {\em Journal of Symbolic Computation}, 15(3):277--296, 1993.

\bibitem[Her26]{Hermann26}
Grete Hermann.
\newblock Die {F}rage der endlich vielen {S}chritte in der {T}heorie der
  {P}olynomideale.
\newblock {\em Mathematische Annalen}, 95:736--788, 1926.

\bibitem[Koi96]{Koiran96}
Pascal Koiran.
\newblock Hilbert's {N}ullstellensatz is in the polynomial hierarchy.
\newblock {\em Journal of Complexity}, 12(4):273--286, 1996.

\bibitem[Kol88]{Janos88}
J\'{a}nos Koll\'{a}r.
\newblock Sharp effective {N}ullstellensatz.
\newblock {\em Journal of the American Mathematical Society}, 1(4):963--975,
  1988.

\bibitem[Rab30]{Rabinowitsch30}
J.~L. Rabinowitsch.
\newblock Zum {H}ilbertschen {N}ullstellensatz.
\newblock {\em Mathematische Annalen}, 102:520--520, 1930.

\end{thebibliography}
