TY  - RPRT
TI  - Decidability of the Elementary Theory of a Torsion-Free Hyperbolic Group
AU  - Olga Kharlampovich
AU  - Alexei Myasnikov
PY  - 2016
UR  - https://arxiv.org/abs/1303.0760
ID  - 1303.0760
ER  -