B. Kulpeshov and S. Sudoplatov, “On behaviour of 2-formulas in ordered theories with non-maximal number of countable models”, M, vol. 81, no. 1, pp. 68–75, Mar. 2016.