TY  - RPRT
TI  - A report on Tarski's decidability problem
AU  - Z. Sela
PY  - 2014
UR  - https://arxiv.org/abs/1401.5711
ID  - 1401.5711
ER  -