%0 Conference Paper %1 conf/ecai/CerroH90 %A del Cerro, Luis Fariñas %A Herzig, Andreas %B ECAI %D 1990 %K dblp %P 262-267 %T Deterministic Modal Logics for Automated Deduction. %U http://dblp.uni-trier.de/db/conf/ecai/ecai90.html#CerroH90

@inproceedings{conf/ecai/CerroH90, added-at = {2019-07-30T00:00:00.000+0200}, author = {del Cerro, Luis Fariñas and Herzig, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/2384cd4747e6322a28c44a75d4d8c3af9/dblp}, booktitle = {ECAI}, crossref = {conf/ecai/1990}, interhash = {fad1c46d2210711085081e953b294cca}, intrahash = {384cd4747e6322a28c44a75d4d8c3af9}, keywords = {dblp}, pages = {262-267}, timestamp = {2019-07-31T11:37:46.000+0200}, title = {Deterministic Modal Logics for Automated Deduction.}, url = {http://dblp.uni-trier.de/db/conf/ecai/ecai90.html#CerroH90}, year = 1990 }