@misc{indiciae2967cfbf2457,
  title = {Truth Table Invariant Cylindrical Algebraic Decomposition},
  author = {Russell Bradford and James H. Davenport and Matthew England and Scott McCallum and David Wilson},
  year = {2015},
  doi = {10.1016/j.jsc.2015.11.002},
  url = {https://arxiv.org/abs/1401.0645},
  note = {Source identifier: 1401.0645}
}