TY  - RPRT
TI  - Quantifier elimination algorithm to boolean combination of $\exists\forall$-formulas in the theory of a free group
AU  - Olga Kharlampovich
AU  - Alexei Myasnikov
PY  - 2019
UR  - https://arxiv.org/abs/1207.1900
ID  - 1207.1900
ER  -