@misc{indiciae03e9115ef11a,
  title = {Real closed exponential fields},
  author = {Paola D'Aquino and Julia F. Knight and Salma Kuhlmann and Karen Lange},
  year = {2011},
  url = {https://arxiv.org/abs/1112.4062},
  note = {Source identifier: 1112.4062}
}