DIVA: Recognition of typical situations for turbine generator diagnosis. - Jean-Marc David; Jean-Paul Krivine; Jean-Pierre Tiarri; Benoît Ricard (J. Intell. Robotic Syst., 1988)

Augmenting experience-based diagnosis with causal reasoning. - Jean-Marc David; Jean-Paul Krivine (Appl. Artif. Intell., 1989)

Explaining Reasoning from Knowledge Level Models. - Jean-Marc David; Jean-Paul Krivine (ECAI, 1990)