@article{DenefLipshitz:JSL:1989,
    Author = {Denef, Jan and Lipshitz, Leonard},
    File = {Decision problems for differential equations - denef1989 - a - i.pdf},
    Journal = {Journal of Symbolic Logic},
    Number = {3},
    Pages = {941--950},
    Publisher = {Cambridge University Press},
    Title = {Decision problems for differential equations},
    Volume = {54},
    Year = {1989},
    bdsk-url-1 = {https://doi.org/10.2307/2274755},
    date-added = {2020-10-14 09:35:58 +0200},
    date-modified = {2021-01-05 12:51:23 +0100},
    doi = {10.2307/2274755}
}

@article{DenefLipshitz:JSL:1989, Author = {Denef, Jan and Lipshitz, Leonard}, File = {Decision problems for differential equations - denef1989 - a - i.pdf}, Journal = {Journal of Symbolic Logic}, Number = {3}, Pages = {941--950}, Publisher = {Cambridge University Press}, Title = {Decision problems for differential equations}, Volume = {54}, Year = {1989}, bdsk-url-1 = {https://doi.org/10.2307/2274755}, date-added = {2020-10-14 09:35:58 +0200}, date-modified = {2021-01-05 12:51:23 +0100}, doi = {10.2307/2274755} }