Caractérisation de diverses sémantiques pour des programmes logiques avec négation et application à la validation de programmes. - Bernard Malfon (JFPLC, 1994)

Characterization of Some Semantics for Logic Programs with Negation and Applications to Program Validation. - Bernard Malfon (ILPS, 1994)

Typage et validation - une adaptation du point de vue de Lee Naish. - Bernard Malfon (JFPLC, 1995)

Type Correct programs: A semantic approach. - Bernard Malfon; Gérard Ferrand (ILPS, 1995)

Quelques modèles quadrivalués du comlété. Application à des notions déclaratives de symptôme et d'erreur. - Bernard Malfon (JFPLC, 1996)