1. G. E. Collins, Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition, Automata Theory and Formal Language, 2nd G.I. Conf., Kaiserslautern, pp. 134–183, Berlin, Springer-Verlag, 1975
2. L. van den Dries, Exponential Rings, Exponential Polynomials, and Exponential Functions, to appear in Pacific Journal of Mathematics
3. L. van den Dries, Analytic Hardy Fields and Exponential Curves in the Real Plane, to appear in Am. Journal of Math
4. L. van den Dries, Algebraic Theories with definable Skolem Functions, submitted
5. B. Dahn and H. Wolter, On the theory of exponential fields, preprint