Saturation and stability in the theory of computation over the reals (1999)

by O Chapuis, P Koiran
Venue:Annals of Pure and Applied Logic