Substructures and uniform elimination for p-adic fields. - Luc Bélair (Ann. Pure Appl. Log., 1988)

Anneaux p-Adiquement Clos et Anneaux de Fonctions Définissables. - Luc Bélair (J. Symb. Log., 1991)

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

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

Anneaux de Fonctions p-adiques. - Luc Bélair (J. Symb. Log., 1995)

Quantifier elimination in valued Ore modules. - Luc Bélair; Françoise Point (J. Symb. Log., 2010)

Corrigendum to: "Quantifier elimination in valued Ore modules". - Luc Bélair; Françoise Point (J. Symb. Log., 2012)

Separably Closed Fields and contractive Ore Modules. - Luc Bélair; Françoise Point (J. Symb. Log., 2015)