"Exponential Lower Bound for Static Semi-algebraic Proofs."

Dima Grigoriev, Edward A. Hirsch, Dmitrii V. Pasechnik (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics