Un principe de résolution en logique modaleLuis Fariñas Del CerroRAIRO. Inform. théor., 18 2 (1984) 161-170DOI: https://doi.org/10.1051/ita/1984180201611
