First order theory of cyclically ordered groups - Michèle Giraudet; Gérard Leloup; Francois Lucas (2013)