TY  - JOUR
AU  - Kharlampovich, Olga
AU  - Myasnikov, Alexei
TI  - Tarski’s problem about the elementary theory of free groups has a positive solution
JO  - Electronic research announcements of the American Mathematical Society
PY  - 1998
SP  - 101
EP  - 108
VL  - 04
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.1090/S1079-6762-98-00047-X/
DO  - 10.1090/S1079-6762-98-00047-X
ID  - ERAAMS_1998_04_a13
ER  -