%0 Conference Paper %1 conf/cade/MayerC10 %A Mayer, Marta Cialdea %A Cerrito, Serenella %B IJCAR %D 2010 %E Giesl, Jürgen %E Hähnle, Reiner %I Springer %K dblp %P 255-262 %T Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2010.html#MayerC10 %V 6173 %@ 978-3-642-14202-4

@inproceedings{conf/cade/MayerC10, added-at = {2017-06-01T00:00:00.000+0200}, author = {Mayer, Marta Cialdea and Cerrito, Serenella}, biburl = {https://www.bibsonomy.org/bibtex/2bc4e810ce8939f1656d97b70a395167b/dblp}, booktitle = {IJCAR}, crossref = {conf/cade/2010}, editor = {Giesl, Jürgen and Hähnle, Reiner}, ee = {https://doi.org/10.1007/978-3-642-14203-1_22}, interhash = {35de20feca029e4e90d4150e5ade4430}, intrahash = {bc4e810ce8939f1656d97b70a395167b}, isbn = {978-3-642-14202-4}, keywords = {dblp}, pages = {255-262}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T12:36:21.000+0200}, title = {Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2010.html#MayerC10}, volume = 6173, year = 2010 }