1. M. E. Bratman, editor. Intention, Plans, and practical reason. Harvard University Press, Massachusetts, 1987.
2. P. Bretier. La communication orale coopérative: contribution à la modélisation logique et à la mise en œuvre d'un agent rationnel dialoguant. Thèse de Doctorat Informatique, Université de Paris XIII, France, 1995.
3. P. Bretier and M. D. Sadek. Designing and implementing a theory of rational interaction to be the kernel of a cooperative spoken dialogue system. In Proceedings of the AAAI Fall Symposium on Rational Agency, Cambridge, MA, November 1995.
4. L. Catach. Modal resolution. In Proceedings of AFCET-RFIA, pages 1079–1093, 1987.
5. L. Catach. TABLEAUX: A general theorem prover for modal logics. Journal of Automated Reasoning, 7(4):489–510, December 1991.