First order theory of cyclically ordered groups. - M. Giraudet; G. Leloup; F. Lucas (Ann. Pure Appl. Log., 2018)