1. S. A. Aleksandrova, “The uniformization problem for Σ-predicates in a hereditarily finite list superstructure over the real exponential field,” Algebra and Logic, 53, No. 1, 1–8 (2014).
2. S. S. Goncharov and D. I. Sviridenko, “Σ-programming,” Vych. Syst., 107, 3–29 (1985).
3. A. J. Wilkie, “Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function,” J. Am. Math. Soc., 9, No. 4, 1051–1094 (1996).
4. A. G. Khovanskii, “On a class of systems of transcendental equations,” Dokl. Akad. Nauk SSSR, 255, No. 4, 804–807 (1980).
5. A. Macintyre and A. Wilkie, “On the decidability of the real exponential field,” in Kreiseliana: About and around Georg Kreisel, P. Odifreddi (ed.), A K Peters, Wellesley, MA (1996), pp. 441–467.