Complexity of quantifier elimination in the theory of ordinary differential equations.

D. Yu. Grigoryev Complexity of quantifier elimination in the theory of ordinary differential equations. 11-25 1987 conf/eurocal/1987 EUROCAL db/conf/eurocal/eurocal1987.html#Grigorev87