Sound and Complete Forward and backward Chainingd of Graph Rules. - Eric Salvat; Marie-Laure Mugnier (ICCS, 1996)

A Sound and Complete CG Proof Procedure Combining Projections with Analytic Tableaux. - Gwen Kerdiles; Eric Salvat (ICCS, 1997)

Theorem Proving Using Graph Operations in the Conceptual Graph Formalism. - Eric Salvat (ECAI, 1998)

Piece Resolution: Towards Larger Perspectives. - Stéphane Coulondre; Eric Salvat (ICCS, 1998)

A Platform Allowing Typed Nested Graphs: How CoGITo Became CoGITaNT (Research Note). - David Genest; Eric Salvat (ICCS, 1998)

Validation de graphes conceptuels. - Juliette Dibie-Barthélemy; Ollivier Haemmerlé; Eric Salvat (EGC, 2004)

Rules Dependencies in Backward Chaining of Conceptual Graphs Rules. - Jean-François Baget; Eric Salvat (ICCS, 2006)

A semantic validation of conceptual graphs. - Juliette Dibie-Barthélemy; Ollivier Haemmerlé; Eric Salvat (Knowl. Based Syst., 2006)

DL-SR: a Lite DL with Expressive Rules: Preliminary Results. - Jean-François Baget; Michel Leclère; Marie-Laure Mugnier; Eric Salvat (Description Logics, 2008)

Extending Decidable Cases for Rules with Existential Variables. - Jean-François Baget; Michel Leclère; Marie-Laure Mugnier; Eric Salvat (IJCAI, 2009)

On rules with existential variables: Walking the decidability line. - Jean-François Baget; Michel Leclère; Marie-Laure Mugnier; Eric Salvat (Artif. Intell., 2011)