1. L. Cholvy and R. Demolombe. Génération de réponses non-standard dans le contexte d'un dialogue coopératif. Phase 1.2 Définition et caractérisation des procédures élémentaires et génériques permettant de calculer les réponses coopératives. Technical Report 2, ONERA-CERT-DTIM, 1997.
2. L. Cholvy and R. Demolombe. Génération de réponses non-standard dans le contexte d'un dialogue coopératif. Phase 1.3 Mise en oeuvre des procédures élaborées lors de la phase 1.2. Technical Report 3, ONERA-CERT-DTIM, 1997.
3. L. Cholvy, R. Demolombe, and A.J.I. Jones. Reasoning about the safety of information: from logical formalization to operational definition. In Proc. of 8th International Symposium on Methodologies for Intelligent Systems, 1994.
4. B. F. Chellas. Modal Logic: An introduction. Cambridge University Press, 1988.
5. R. Demolombe. Validity Queries and Completeness Queries. In Proc. of 9th International Symposium on Methodologies for Intelligent Systems, 1996.