Macintyre, Angus/Wilkie, A.J., cOn the Decidability of the Real Exponential Fieldd, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 4413467
V. Peckhaus, zbMATH Open, Zbl. 0896.03012 (1998).