@misc{indiciaee96b1e66d3f5,
  title = {Improving Automated Strategies for Univariate Quantifier Elimination},
  author = {Katherine Cordwell and Cesar A Munoz and Aaron M Dutle},
  year = {2021},
  url = {https://ntrs.nasa.gov/citations/20205010644},
  note = {Source identifier: 20205010644}
}