1. O. Belegradek, Y. Peterzil, and F. Wagner, “Quasi-o-minimal structures,” J. Symbolic Logic 65(3), 1115–1132 (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,” in Proc. of the 3rd Easter Conf. on Model Theory (Gross Koris, 1985), (Humboldt Univ., Berlin, 1985), 64–88.
4. Yu. L. Ershov, Decision Problems and Constructivizable Models (Nauka, Moscow, 1980) [in Russian].
5. K. Zh. Kudaĭbergenov, “A conjecture of Shelah,” Algebra i Logika 26(2), 191–203 (1987) [Algebra and Logic 26 (2), 115–121 (1987)].