List of citations in Numdam for : Un principe de résolution en logique modale

RAIRO. Informatique théorique, Volume 18 (1984) no. 2, pp. 161-170.

---