@misc{indiciae1aef0bacfa2c,
  title = {TheoryGuru: A Mathematica Package to apply Quantifier Elimination},
  author = {C. Mulligan and J. H. Davenport and M. England},
  year = {2018},
  doi = {10.1007/978-3-319-96418-8\_44},
  url = {https://arxiv.org/abs/1806.10925},
  note = {Source identifier: 1806.10925}
}