Sur La Theorie Elementaire Des Corps De Fonctions. - Jean-Louis Duret (J. Symb. Log., 1986)

Définissabilité dans les Corps de Fonctions p-Adiques. - Luc Bélair; Jean-Louis Duret (J. Symb. Log., 1991)

Équivalence élémentaire et Isomorphisme des Corps de Courbe sur un Corps Algébriquement Clos. - Jean-Louis Duret (J. Symb. Log., 1992)

Indécidabilité des Corps de Courbe Réelle. - Luc Bélair; Jean-Louis Duret (J. Symb. Log., 1994)