@misc{indiciae15f919f0ef17,
  title = {The evaluation of geometric queries: constraint databases and quantifier elimination},
  author = {Marc Giusti and Joos Heintz and Bart Kuijpers},
  year = {2011},
  url = {https://arxiv.org/abs/1110.2196},
  note = {Source identifier: 1110.2196}
}