@inproceedings{DBLP:conf/cade/HustadtS10,
  author       = {Ullrich Hustadt and
                  Renate A. Schmidt},
  editor       = {Renate A. Schmidt and
                  Stephan Schulz and
                  Boris Konev},
  title        = {A Comparison of Solvers for Propositional Dynamic Logic},
  booktitle    = {Proceedings of the 2nd Workshop on Practical Aspects of Automated
                  Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010},
  series       = {EPiC Series in Computing},
  volume       = {9},
  pages        = {63--73},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/63hq},
  doi          = {10.29007/63HQ},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/HustadtS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"LeNbDM2cREYa4pFcx","bibbaseid":"hustadt-schmidt-acomparisonofsolversforpropositionaldynamiclogic-2010","author_short":["Hustadt, U.","Schmidt, R. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["Renate","A."],"propositions":[],"lastnames":["Schmidt"],"suffixes":[]}],"editor":[{"firstnames":["Renate","A."],"propositions":[],"lastnames":["Schmidt"],"suffixes":[]},{"firstnames":["Stephan"],"propositions":[],"lastnames":["Schulz"],"suffixes":[]},{"firstnames":["Boris"],"propositions":[],"lastnames":["Konev"],"suffixes":[]}],"title":"A Comparison of Solvers for Propositional Dynamic Logic","booktitle":"Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010","series":"EPiC Series in Computing","volume":"9","pages":"63–73","publisher":"EasyChair","year":"2010","url":"https://doi.org/10.29007/63hq","doi":"10.29007/63HQ","timestamp":"Sun, 15 Aug 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/cade/HustadtS10.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/cade/HustadtS10,\n author = {Ullrich Hustadt and\n Renate A. Schmidt},\n editor = {Renate A. Schmidt and\n Stephan Schulz and\n Boris Konev},\n title = {A Comparison of Solvers for Propositional Dynamic Logic},\n booktitle = {Proceedings of the 2nd Workshop on Practical Aspects of Automated\n Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010},\n series = {EPiC Series in Computing},\n volume = {9},\n pages = {63--73},\n publisher = {EasyChair},\n year = {2010},\n url = {https://doi.org/10.29007/63hq},\n doi = {10.29007/63HQ},\n timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/cade/HustadtS10.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hustadt, U.","Schmidt, R. A."],"editor_short":["Schmidt, R. A.","Schulz, S.","Konev, B."],"key":"DBLP:conf/cade/HustadtS10","id":"DBLP:conf/cade/HustadtS10","bibbaseid":"hustadt-schmidt-acomparisonofsolversforpropositionaldynamiclogic-2010","role":"author","urls":{"Paper":"https://doi.org/10.29007/63hq"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj"],"keywords":[],"search_terms":["comparison","solvers","propositional","dynamic","logic","hustadt","schmidt"],"title":"A Comparison of Solvers for Propositional Dynamic Logic","year":2010}