On the decidability of the real exponential field (1996)

by A Macintyre, A Wilkie