TY  - RPRT
TI  - Quantifier Elimination For Tame Fields
AU  - Franz-Viktor Kuhlmann
AU  - Koushik Pal
PY  - 2017
UR  - https://arxiv.org/abs/1207.4223
ID  - 1207.4223
ER  -