@misc{indiciae3c576b19d3ea,
  title = {Cylindrical Algebraic Sub-Decompositions},
  author = {D. J. Wilson and R. J. Bradford and J. H. Davenport and M. England},
  year = {2014},
  doi = {10.1007/s11786-014-0191-z},
  url = {https://arxiv.org/abs/1401.0647},
  note = {Source identifier: 1401.0647}
}