A DECISION PROCEDURE FOR THE FIRST ORDER THEORY OF REAL ADDITION WITH ORDER.FERRANTE J; RACKOFF C.1975; S.I.A.M. J. COMPUTG; U.S.A.; DA. 1975; VOL. 4; NO 1; PP. 69-76; BIBL. 5 REF.Article

Complexity of the first-order theory of almost all finite structuresGRANDJEAN, E.Information and control. 1983, Vol 57, Num 2-3, pp 180-204, issn 0019-9958Article

Autour des groupes cycliquement ordonnésLELOUP, G.Annales de la faculté des sciences de Toulouse. 2012, Vol 21, Num 2, pp 235-257, issn 0240-2963, 23 p.Article

L'automorphisme de Frobenius des vecteurs de Witt = The Frobenius automorphism of Witt vectorsBELAIR, Luc; MACINTYRE, Angus.Comptes rendus de l'Académie des sciences. Série 1, Mathématique. 2000, Vol 331, Num 1, pp 1-4, issn 0764-4442Article