@misc{indiciaeb92246d56d6b,
  title = {Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains},
  author = {R. Bradford and C. Chen and J. H. Davenport and M. England and M. Moreno Maza and D. Wilson},
  year = {2014},
  doi = {10.1007/978-3-319-10515-4\_4},
  url = {https://arxiv.org/abs/1401.6310},
  note = {Source identifier: 1401.6310}
}