Functional Evaluation of Strongly Non Circular Typol Specifications. - Isabelle Attali; Jacques Chazarain (WAGA, 1990)

Multi-Valued Logic and Gröbner Bases with Applications to Modal Logic. - Jacques Chazarain; Agustín Riscos Gonzáles; José Antonio Alonso Jimenez; Emilio Briales Morales (J. Symb. Comput., 1991)

Incremental Evaluation of Natural Semantics Specification. - Isabelle Attali; Jacques Chazarain; Serge Gilette (PLILP, 1992)

Combining Symbolic Evaluation and Object-Oriented Approach for Verifying Processor-Like Architectures at the RT-Level. - Jacques Chazarain; Hélène Collavizza (CHARME, 1993)

Mechanizable Inductive Proofs for a Class of Forall Exists Formulas. - Jacques Chazarain; Emmanuel Kounalis (CADE, 1994)

LEMMA: A System for Automated Synthesis of Recursive Programs in Equational Theories. - Jacques Chazarain; Serge Muller (RTA, 1995)

Automated Synthesis of Recursive Programs from a forall-exists Logical Specification. - Jacques Chazarain; Serge Muller (J. Autom. Reason., 1998)