@incollection{DBLP:books/el/07/HorrocksHSS07,
  author       = {Ian Horrocks and
                  Ullrich Hustadt and
                  Ulrike Sattler and
                  Renate A. Schmidt},
  editor       = {Patrick Blackburn and
                  J. F. A. K. van Benthem and
                  Frank Wolter},
  title        = {Computational modal logic},
  booktitle    = {Handbook of Modal Logic},
  series       = {Studies in logic and practical reasoning},
  volume       = {3},
  pages        = {181--245},
  publisher    = {North-Holland},
  year         = {2007},
  url          = {https://doi.org/10.1016/s1570-2464(07)80007-3},
  doi          = {10.1016/S1570-2464(07)80007-3},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/el/07/HorrocksHSS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"oNGfesE9JaGmiQgdM","bibbaseid":"horrocks-hustadt-sattler-schmidt-computationalmodallogic-2007","author_short":["Horrocks, I.","Hustadt, U.","Sattler, U.","Schmidt, R. A."],"bibdata":{"bibtype":"incollection","type":"incollection","author":[{"firstnames":["Ian"],"propositions":[],"lastnames":["Horrocks"],"suffixes":[]},{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["Ulrike"],"propositions":[],"lastnames":["Sattler"],"suffixes":[]},{"firstnames":["Renate","A."],"propositions":[],"lastnames":["Schmidt"],"suffixes":[]}],"editor":[{"firstnames":["Patrick"],"propositions":[],"lastnames":["Blackburn"],"suffixes":[]},{"firstnames":["J.","F.","A.","K."],"propositions":["van"],"lastnames":["Benthem"],"suffixes":[]},{"firstnames":["Frank"],"propositions":[],"lastnames":["Wolter"],"suffixes":[]}],"title":"Computational modal logic","booktitle":"Handbook of Modal Logic","series":"Studies in logic and practical reasoning","volume":"3","pages":"181–245","publisher":"North-Holland","year":"2007","url":"https://doi.org/10.1016/s1570-2464(07)80007-3","doi":"10.1016/S1570-2464(07)80007-3","timestamp":"Tue, 12 Apr 2022 01:00:00 +0200","biburl":"https://dblp.org/rec/books/el/07/HorrocksHSS07.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@incollection{DBLP:books/el/07/HorrocksHSS07,\n author = {Ian Horrocks and\n Ullrich Hustadt and\n Ulrike Sattler and\n Renate A. Schmidt},\n editor = {Patrick Blackburn and\n J. F. A. K. van Benthem and\n Frank Wolter},\n title = {Computational modal logic},\n booktitle = {Handbook of Modal Logic},\n series = {Studies in logic and practical reasoning},\n volume = {3},\n pages = {181--245},\n publisher = {North-Holland},\n year = {2007},\n url = {https://doi.org/10.1016/s1570-2464(07)80007-3},\n doi = {10.1016/S1570-2464(07)80007-3},\n timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/books/el/07/HorrocksHSS07.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Horrocks, I.","Hustadt, U.","Sattler, U.","Schmidt, R. A."],"editor_short":["Blackburn, P.","van Benthem, J. F. A. K.","Wolter, F."],"key":"DBLP:books/el/07/HorrocksHSS07","id":"DBLP:books/el/07/HorrocksHSS07","bibbaseid":"horrocks-hustadt-sattler-schmidt-computationalmodallogic-2007","role":"author","urls":{"Paper":"https://doi.org/10.1016/s1570-2464(07)80007-3"},"metadata":{"authorlinks":{}}},"bibtype":"incollection","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj","FgmYE34DdKWThg2dR"],"keywords":[],"search_terms":["computational","modal","logic","horrocks","hustadt","sattler","schmidt"],"title":"Computational modal logic","year":2007}