@misc{indiciae89f9586ea89d,
  title = {Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition},
  author = {Matthew England and Russell Bradford and Changbo Chen and James H. Davenport and Marc Moreno Maza and David Wilson},
  year = {2014},
  doi = {10.1007/978-3-319-08434-3\_5},
  url = {https://arxiv.org/abs/1404.6371},
  note = {Source identifier: 1404.6371}
}