Les modalités de la correction totale Luis Fariñas Del Cerro (1982) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Local normal forms for first-order logic with applications to games and automata. Schwentick, Thomas, Barthelmann, Klaus (1999) Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]
Logic and p -recognizable sets of integers. Bruyère, Véronique, Hansel, Georges, Michaux, Christian, Villemaire, Roger (1994) Bulletin of the Belgian Mathematical Society - Simon Stevin