@misc{indiciaef99f916d8fea,
  title = {A Successive Resultant Projection for Cylindrical Algebraic Decomposition},
  author = {Yong Yao and Jia Xu and Lu Yang},
  year = {2014},
  url = {https://arxiv.org/abs/1412.4861},
  note = {Source identifier: 1412.4861}
}