@misc{indiciaede4953c5b30e,
  title = {Quasi-decidability of a Fragment of the First-order Theory of Real Numbers},
  author = {Peter Franek and Stefan Ratschan and Piotr Zgliczynski},
  year = {2016},
  url = {https://arxiv.org/abs/1309.6280},
  note = {Source identifier: 1309.6280}
}