D. Yu. Grigoryev Complexity of quantifier elimination in the theory of ordinary differential equations. [Citation Graph (0, 0)][DBLP] EUROCAL, 1987, pp:11-25 [Conf]
D. Yu. Grigoryev Complexity of Computing the Characters and the Genre of a System of Exterior Differential Equations. [Citation Graph (0, 0)][DBLP] ISSAC, 1988, pp:534-543 [Conf]