@article{MR1986085,
  title = "Complexity of semialgebraic proofs",
  author = "Grigoriev, Dima and Hirsch, Edward A. and Pasechnik, Dmitrii V.",
  year = "2002",
  issn = "1609-3321",
  journal = "Mosc. Math. J.",
  mrnumber = "MR1986085 (2004e:03094)",
  note = "Dedicated to Yuri I. Manin on the occasion of his 65th birthday",
  number = "4",
  pages = "647--679, 805",
  volume = "2",
}