Multi-Modal Logic Programming using Equational and Order-Sorted Logic. - Françoise Debart; Patrice Enjalbert; Madeleine Lescot (ALP, 1990)

A Case of Termination for Associative Unification. - Patrice Enjalbert; Françoise Clérin-Debart (IWWERT, 1991)

Multimodal Logic Programming Using Equational and Order-Sorted Logic. - Françoise Debart; Patrice Enjalbert; Madeleine Lescot (Theor. Comput. Sci., 1992)

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)

Norms and time in agent-based systems. - Tiberiu Stratulat; Françoise Clérin-Debart; Patrice Enjalbert (ICAIL, 2001)

Temporal Reasoning: An Application to Normative Systems. - Tiberiu Stratulat; Françoise Clérin-Debart; Patrice Enjalbert (TIME, 2001)