@article{ ,
  author = {Peter Franek and Stefan Ratschan and Piotr Zgliczynski},
  title= {Quasi-decidability of a Fragment of the First-Order Theory of Real Numbers},
  journal={Journal of Automated Reasoning},
  year= {2016},
  volume= {57},
  number= {2},
  pages= {157--185}
}