Rigid Unification by Completion and Rigid Paramodulation. - Gérard Becher; Uwe Petermann (KI, 1994)

Cyclic Connections. - Gérard Becher (TABLEAUX, 1996)

First Order Modal Logics with Generalized Intervals. - Gérard Becher (TIME, 1996)

A Model for Time Granularity in Natural Language. - Gérard Becher; Françoise Clérin-Debart; Patrice Enjalbert (TIME, 1998)

A Qualitative Model for Time Granularity. - Gérard Becher; Françoise Clérin-Debart; Patrice Enjalbert (Comput. Intell., 2000)

Rapport technique du projet OGRE - Gérard Becher; Patrice Enjalbert; Estelle Fievé; Laurent Gosselin; François Lévy; Gérard Ligozat (CoRR, 2006)