Sette Diop. Differential-Algebraic Decision Methods and some Applications to System Theory. Theoretical Computer Science, 98(1):137-161, 1992.
@article{Diop92, title = {Differential-Algebraic Decision Methods and some Applications to System Theory}, author = {Sette Diop}, year = {1992}, tags = { algebra}, researchr = {https://researchr.org/publication/Diop92}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {98}, number = {1}, pages = {137-161}, }