@misc{indiciae544514f65beb,
  title = {Iterated Resultants and Rational Functions in Real Quantifier Elimination},
  author = {James H. Davenport and Matthew England and Scott McCallum and Ali K. Uncu},
  year = {2024},
  doi = {10.1007/s11786-025-00606-4},
  url = {https://arxiv.org/abs/2312.16210},
  note = {Source identifier: 2312.16210}
}