Trivializing the Proof of Trivial Theorems. - Yves Kodratoff; Jacqueline Castaing (IJCAI, 1983)

How to Facilitate the Proof of Theorems by Using the Induction-matching, and by Generalization. - Jacqueline Castaing (IJCAI, 1985)

A New Formalisation of Subsumption in Frame-Based Representation Systems. - Jacqueline Castaing (KR, 1991)

A Hybrid Reasoning System for Explaining Mistakes in Chinese Writing. - Jacqueline Castaing (FGCS, 1992)

Non-commutative Logic for Hand-Written Character Modeling. - Jacqueline Castaing (AISC, 2002)