Conceptual Graphs for Semantics and Knowledge Processing. - Jean Fargues; Marie-Claude Landau; Anne Dugourd; Laurent Catach (IBM J. Res. Dev., 1986)

Normal Multimodal Logics. - Laurent Catach (AAAI, 1988)

TABLEAUX: A General Theorem Prover for Modal Logics. - Laurent Catach (J. Autom. Reason., 1991)