A Very Intelligent Backtracking Method for Logic Programs. - Christian Codognet; Philippe Codognet; Gilberto Filé (ESOP, 1986)

Backtracking intelligent en programmation logique. - Christian Codognet; Philippe Codognet; Gilberto Filé (SPLT, 1986)

Yet Another Intelligent Backtracking Method. - Christian Codognet; Philippe Codognet; Gilberto Filé (ICLP/SLP, 1988)

Non-deterministic Stream AND-Parallelism Based on Intelligent Backtracking. - Christian Codognet; Philippe Codognet (ICLP, 1989)

Abstract Interpretation from Prolog to Concurrent Prolog. - Christian Codognet; Philippe Codognet; Marc-Michel Corsini (SPLT, 1990)

Abstract Interpretation for Concurrent Logic Languages. - Christian Codognet; Philippe Codognet; Marc-Michel Corsini (NACLP, 1990)

Abduction and Concurrent Logic Languages. - Christian Codognet; Philippe Codognet (ECAI, 1994)

Finite Domain Constraints in the ML Functional Language. - Emmanuel Chailloux; Christian Codognet; Philippe Codognet (ICTAI, 1994)

Sleepers: A Versatile High-Level Control Mechanism. - Christian Codognet; Philippe Codognet; Vincenzo Loia; Michel Quaggetto (PLILP, 1994)

Guarded Constructive Disjunction: Angel or Demon? - Christian Codognet; Philippe Codognet (CP, 1995)

A Generalized Semantics for Concurrent Constraint Languages and their Abstract Interpretation. - Christian Codognet; Philippe Codognet (Constraint Processing, Selected Papers, 1995)