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

Projection: A Unification Procedure for Tableaux in Conceptual Graphs. - Gwen Kerdiles (TABLEAUX, 1997)

Dynamic Semantics for Conceptual Graphs. - Gwen Kerdiles (ICCS, 1999)