Complexity of semialgebraic proofs - Grigoriev, D; Hirsch, E; Pasechnik, D (2002)