Automated Behavioural Verification of Prolog Programs. - Baudouin Le Charlier; Christophe Leclère; Sabina Rossi; Agostino Cortesi (APPIA-GULP-PRODE, 1997)

Automated Verification of Behavioural Properties of Prolog Programs. - Baudouin Le Charlier; Christophe Leclère; Sabina Rossi; Agostino Cortesi (ASIAN, 1997)

A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury. - Dante Baldan; Baudouin Le Charlier; Christophe Leclère; Isabelle Pollet (LOPSTR, 1998)

Automated Verification of Prolog Programs. - Baudouin Le Charlier; Christophe Leclère; Sabina Rossi; Agostino Cortesi (J. Log. Program., 1999)

On the design of some operations to combine domains for abstract interpretation - Christophe Leclère (2004)