@misc{indiciae0e202da40de0,
  title = {A Poly-algorithmic Approach to Quantifier Elimination},
  author = {James H. Davenport and Zak P. Tonks and Ali K. Uncu},
  year = {2023},
  url = {https://arxiv.org/abs/2302.06814},
  note = {Source identifier: 2302.06814}
}