1. Decomposition of decidable first-order logics over integers and reals;Bouchy,2008
2. Totally ordered commutative semigroups;Clifford;Bull. Amer. Math. Soc.,1958
3. M. Giraudet, G. Leloup, F. Lucas, First-order theory of cyclically ordered groups, 2013, arXiv:13-11.0499.
4. Quantifier elimination for lexicographic products of ordered Abelian groups;Ibuka;Tsukuba J. Math.,2009
5. Autour des groupes cycliquement ordonnés;Leloup;Ann. Fac. Sci. Toulouse – Math.,2012