1. Abadi M., Manna Z. Modal theorem proving. 8CAD, LNCS, Springer-Verlag 1986, pp 172–186.
2. Auffray Y., Enjalbert P., Hebrard J.J., Strategics for modal resolution: results and problems. Rapport du Laboratoire d'Informatique de Caen, 1987.
3. Balbiani Ph., Fariñas del Cerro L., Herzig A., Declarative semantics for modal logic programs. Rapport LSI, November 1987.
4. Bieber P., Cooperating with untrusted agents. Rapport LSI, UPS, 1988.
5. Cialdea M., Une méthode de déduction automatique en logique modale. Thèse Université Paul Sabatier, Toulouse, 1986.