Liste des citations dans Numdam pour : Un principe de résolution en logique modale

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

Fariñas Del Cerro, Luis

RAIRO. Informatique théorique, Tome 16 (1982) no. 4, pp. 349-363.