%0 Conference Paper %1 conf/birthday/SchmidtH13 %A Schmidt, Renate A. %A Hustadt, Ullrich %B Programming Logics %D 2013 %E Voronkov, Andrei %E Weidenbach, Christoph %I Springer %K dblp %P 345-391 %T First-Order Resolution Methods for Modal Logics. %U http://dblp.uni-trier.de/db/conf/birthday/ganzinger2013.html#SchmidtH13 %V 7797 %@ 978-3-642-37650-4

@inproceedings{conf/birthday/SchmidtH13, added-at = {2019-09-25T00:00:00.000+0200}, author = {Schmidt, Renate A. and Hustadt, Ullrich}, biburl = {https://www.bibsonomy.org/bibtex/26de2a79858c391b8ade6fb830c6cb8c1/dblp}, booktitle = {Programming Logics}, crossref = {conf/birthday/2013ganzinger}, editor = {Voronkov, Andrei and Weidenbach, Christoph}, ee = {https://doi.org/10.1007/978-3-642-37651-1_15}, interhash = {e8453ffb83209c43a808860b76f130a8}, intrahash = {6de2a79858c391b8ade6fb830c6cb8c1}, isbn = {978-3-642-37650-4}, keywords = {dblp}, pages = {345-391}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T13:15:14.000+0200}, title = {First-Order Resolution Methods for Modal Logics.}, url = {http://dblp.uni-trier.de/db/conf/birthday/ganzinger2013.html#SchmidtH13}, volume = 7797, year = 2013 }