%0 Journal Article %1 journals/ita/Cerro84 %A del Cerro, Luis Fariñas %D 1984 %J RAIRO Theor. Informatics Appl. %K dblp %N 2 %P 161-170 %T Un Principe de Résolution en Logique Modale. %U http://dblp.uni-trier.de/db/journals/ita/ita18.html#Cerro84 %V 18

@article{journals/ita/Cerro84, added-at = {2020-05-25T00:00:00.000+0200}, author = {del Cerro, Luis Fariñas}, biburl = {https://www.bibsonomy.org/bibtex/2b21dd2ccd2379e05f66b0add3c5e0bf0/dblp}, ee = {https://doi.org/10.1051/ita/1984180201611}, interhash = {84d8a5927ed6719cc49581ea98816ff4}, intrahash = {b21dd2ccd2379e05f66b0add3c5e0bf0}, journal = {RAIRO Theor. Informatics Appl.}, keywords = {dblp}, number = 2, pages = {161-170}, timestamp = {2020-05-26T11:50:47.000+0200}, title = {Un Principe de Résolution en Logique Modale.}, url = {http://dblp.uni-trier.de/db/journals/ita/ita18.html#Cerro84}, volume = 18, year = 1984 }