@misc{indiciae291aa3c0fe84,
  title = {A Logic Based Approach to Finding Real Singularities of Implicit Ordinary Differential Equations},
  author = {Werner M. Seiler and Matthias Seiss and Thomas Sturm},
  year = {2020},
  doi = {10.1007/s11786-020-00485-x},
  url = {https://arxiv.org/abs/2003.00740},
  note = {Source identifier: 2003.00740}
}