"Saturation and Stability in the Theory of Computation over the Reals."

Olivier Chapuis, Pascal Koiran (1999)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics