@article{D_Alfonso_2014,
    doi = {10.1016/j.jco.2014.01.001},
    url = {https://doi.org/10.1016%2Fj.jco.2014.01.001},
    year = {2014},
    month = {oct},
    publisher = {Elsevier {BV}},
    volume = {30},
    number = {5},
    pages = {588--603},
    author = {Lisi D'Alfonso and Gabriela Jeronimo and Pablo Solern{\'{o}}},
    title = {Effective differential Nullstellensatz for ordinary {DAE} systems with constant coefficients},
    journal = {Journal of Complexity}
}

@article{D_Alfonso_2014, doi = {10.1016/j.jco.2014.01.001}, url = {https://doi.org/10.1016%2Fj.jco.2014.01.001}, year = {2014}, month = {oct}, publisher = {Elsevier {BV}}, volume = {30}, number = {5}, pages = {588--603}, author = {Lisi D'Alfonso and Gabriela Jeronimo and Pablo Solern{\'{o}}}, title = {Effective differential Nullstellensatz for ordinary {DAE} systems with constant coefficients}, journal = {Journal of Complexity} }