@misc{indiciae910ff24df120,
  title = {Quantifier elimination for quasi-real closed fields},
  author = {Mickaël Matusinski and Simon Müller},
  year = {2020},
  url = {https://arxiv.org/abs/2005.12681},
  note = {Source identifier: 2005.12681}
}