@article{Diop_1992,
    title = {Differential-algebraic decision methods and some applications to system theory},
    volume = {98},
    issn = {0304-3975},
    url = {http://dx.doi.org/10.1016/0304-3975(92)90384-R},
    doi = {10.1016/0304-3975(92)90384-r},
    number = {1},
    journal = {Theoretical Computer Science},
    publisher = {Elsevier BV},
    author = {Diop, Sette},
    year = {1992},
    month = {may},
    pages = {137–161},
    date-added = {2026-3-13 10:26:48 +0100}
}

@article{Diop_1992, title = {Differential-algebraic decision methods and some applications to system theory}, volume = {98}, issn = {0304-3975}, url = {http://dx.doi.org/10.1016/0304-3975(92)90384-R}, doi = {10.1016/0304-3975(92)90384-r}, number = {1}, journal = {Theoretical Computer Science}, publisher = {Elsevier BV}, author = {Diop, Sette}, year = {1992}, month = {may}, pages = {137–161}, date-added = {2026-3-13 10:26:48 +0100} }