1. O. Belegradek, Y. Peterzil, and F. Wagner, “Quasi-o-minimal structures,” J. Symbolic Logic 65, 1115 (2000).
2. M. Bhattacharjee, D. Macpherson, R. G. Möller, and P. M. Neumann, Notes on Infinite Permutation Groups (Springer, Berlin, 1998).
3. M. A. Dickmann, “Elimination of quantifiers for ordered valuation rings,” Proc. 3rd Easter Conf. Model Theory (Gross Koris, 1985), 64 (Humboldt Univ., Berlin, 1985).
4. L. van denDries, “Remarks on Tarski’s problemconcerning (R,+, ·, exp),” Logic Colloquium’82 (Florence, 1982), 97 (North-Holland, Amsterdam, 1984).
5. W. Hodges, Model Theory (Cambridge Univ. Press, Cambridge, 1993).