Un principe de résolution en logique modale Luis Fariñas Del Cerro — 1984 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Les modalités de la correction totale Luis Fariñas Del Cerro — 1982 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications