Une sémantique pour la notion déclarative d'erreur des programmes logiques avec négation. - Michel Bergère; Gérard Ferrand (SPLT, 1990)

A Semantics for Error Declarative Notion of Logic Programs with Negation. - Michel Bergère; Gérard Ferrand (LPE, 1990)

Indipendence of the Computation Rule for SLD-derivation with delay. - Michel Bergère; Gérard Ferrand; Jean-Hugues Réty (ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages, 1994)

Indépendance de la règle de calcul pour la résolution SLD avec retard. - Michel Bergère; Gérard Ferrand; Jean-Hugues Réty (JFPLC, 1994)