@misc{indiciaefe6c6c9d828d,
  title = {Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics},
  author = {C. Mulligan and R. Bradford and J. H. Davenport and M. England and Z. Tonks},
  year = {2018},
  url = {https://arxiv.org/abs/1806.11447},
  note = {Source identifier: 1806.11447}
}