%0 Conference Paper %1 conf/cade/GoreW10 %A Goré, Rajeev %A Widmann, Florian %B IJCAR %D 2010 %E Giesl, Jürgen %E Hähnle, Reiner %I Springer %K dblp %P 225-239 %T Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2010.html#GoreW10 %V 6173 %@ 978-3-642-14202-4

@inproceedings{conf/cade/GoreW10, added-at = {2017-05-21T00:00:00.000+0200}, author = {Goré, Rajeev and Widmann, Florian}, biburl = {https://www.bibsonomy.org/bibtex/2817641d5a05224c7f93e0410546efd94/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_20}, interhash = {eeece58efd8da7aba379aab02c386002}, intrahash = {817641d5a05224c7f93e0410546efd94}, isbn = {978-3-642-14202-4}, keywords = {dblp}, pages = {225-239}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T12:36:21.000+0200}, title = {Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2010.html#GoreW10}, volume = 6173, year = 2010 }