@inproceedings{10.1007/3-540-51517-8_81,
    Address = {Berlin, Heidelberg},
    Author = {Grigor'ev, D.Yu.},
    BookTitle = {Eurocal '87},
    Editor = {Davenport, James H.},
    File = {Complexity of quantifier elimination in the theory of ordinary differential equations - GrigorEv1989\_Chapter\_ComplexityOfQuantifierEliminat.pdf},
    ISBN = {978-3-540-48207-9},
    Pages = {11--25},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Complexity of quantifier elimination in the theory of ordinary differential equations},
    Year = {1989},
    date-added = {2021-10-07 11:10:30 +0200},
    date-modified = {2021-10-07 11:10:30 +0200},
    doi = {10.1007/3-540-51517-8_81}
}

@inproceedings{10.1007/3-540-51517-8_81, Address = {Berlin, Heidelberg}, Author = {Grigor'ev, D.Yu.}, BookTitle = {Eurocal '87}, Editor = {Davenport, James H.}, File = {Complexity of quantifier elimination in the theory of ordinary differential equations - GrigorEv1989_Chapter_ComplexityOfQuantifierEliminat.pdf}, ISBN = {978-3-540-48207-9}, Pages = {11--25}, Publisher = {Springer Berlin Heidelberg}, Title = {Complexity of quantifier elimination in the theory of ordinary differential equations}, Year = {1989}, date-added = {2021-10-07 11:10:30 +0200}, date-modified = {2021-10-07 11:10:30 +0200}, doi = {10.1007/3-540-51517-8_81} }