@misc{indiciaec70adb45d88a,
  title = {Computing Cylindrical Algebraic Decomposition via Triangular Decomposition},
  author = {Changbo Chen and Marc Moreno Maza and Bican Xia and Lu Yang},
  year = {2009},
  url = {https://arxiv.org/abs/0903.5221},
  note = {Source identifier: 0903.5221}
}