@misc{indiciaef357a9b9174c,
  title = {Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition},
  author = {Matthew England and Russell Bradford and James H. Davenport and David Wilson},
  year = {2014},
  doi = {10.1007/978-3-662-44199-2\_68},
  url = {https://arxiv.org/abs/1405.6094},
  note = {Source identifier: 1405.6094}
}