1. Merzlyakov Yu. I., “Positive formulas on free groups,” Algebra i Logika, vol. 5, no. 4, 25–42 (1966).
2. Sacerdote G. S., “Elementary properties of free groups,” Trans. Amer. Math. Soc., vol. 178, 127–138 (1973).
3. Kharlampovich O. and Myasnikov A., “Elementary theory of free non-abelian groups,” J. Algebra, vol. 302, no. 2, 451–552 (2006).
4. Sela Z., “Diophantine geometry over groups. VI. The elementary theory of a free group,” Geom. Funct. Anal., vol. 16, no. 3, 707–730 (2006).
5. Hall M. J., “Projective planes,” Trans. Amer. Math. Soc., vol. 54, no. 2, 229–277 (1943).