@misc{indiciae24c83e460315,
  title = {Optimising Problem Formulation for Cylindrical Algebraic Decomposition},
  author = {Russell Bradford and James H. Davenport and Matthew England and David Wilson},
  year = {2013},
  doi = {10.1007/978-3-642-39320-4\_2},
  url = {https://arxiv.org/abs/1304.7222},
  note = {Source identifier: 1304.7222}
}