Teresa Krick Juan Sabia Pablo Solernó On Intrinsic Bounds in the Nullstellensatz. 125-134 1997 8 Appl. Algebra Eng. Commun. Comput. 2 http://link.springer.de/link/service/journals/00200/bibs/7008002/70080125.htm db/journals/aaecc/aaecc8.html#KrickSS97