@misc{indiciae237c235d6c90,
  title = {Quantifier Elimination For Tame Fields},
  author = {Franz-Viktor Kuhlmann and Koushik Pal},
  year = {2017},
  url = {https://arxiv.org/abs/1207.4223},
  note = {Source identifier: 1207.4223}
}