%0 Conference Paper %1 conf/ecai/Cerro82 %A del Cerro, Luis Fariñas %B ECAI %D 1982 %K dblp %P 60-61 %T A Deduction Method for Modal Logic. %U http://dblp.uni-trier.de/db/conf/ecai/ecai82.html#Cerro82

@inproceedings{conf/ecai/Cerro82, added-at = {2019-08-06T00:00:00.000+0200}, author = {del Cerro, Luis Fariñas}, biburl = {https://www.bibsonomy.org/bibtex/2ed24862b1a89283825d6013ef2be3bf1/dblp}, booktitle = {ECAI}, crossref = {conf/ecai/1982}, interhash = {5083fc024ee7e6b3ed1f55ff919b0884}, intrahash = {ed24862b1a89283825d6013ef2be3bf1}, keywords = {dblp}, pages = {60-61}, timestamp = {2019-08-07T11:39:22.000+0200}, title = {A Deduction Method for Modal Logic.}, url = {http://dblp.uni-trier.de/db/conf/ecai/ecai82.html#Cerro82}, year = 1982 }