On the intrinsic complexity of the arithmetic Nullstellensatz (2000)

by K Hägele, J E Morais, L M Pardo, M Sombra
Venue:J. Pure Appl. Algebra