@article{ERAAMS_1998_04_a13,
     author = {Kharlampovich, Olga and Myasnikov, Alexei},
     title = {Tarski{\textquoteright}s problem about the elementary theory of free groups has a positive solution},
     journal = {Electronic research announcements of the American Mathematical Society},
     pages = {101--108},
     publisher = {mathdoc},
     volume = {04},
     year = {1998},
     doi = {10.1090/S1079-6762-98-00047-X},
     url = {http://geodesic.mathdoc.fr/articles/10.1090/S1079-6762-98-00047-X/}
}