@inproceedings{DBLP:conf/aiml/GanzingerHMS98,
  author       = {Harald Ganzinger and
                  Ullrich Hustadt and
                  Christoph Meyer and
                  Renate A. Schmidt},
  editor       = {Michael Zakharyaschev and
                  Krister Segerberg and
                  Maarten de Rijke and
                  Heinrich Wansing},
  title        = {A Resolution-Based Decision Procedure for Extensions of {K4}},
  booktitle    = {Advances in Modal Logic 2, papers from the second workshop on "Advances
                  in Modal logic," held in Uppsala, Sweden, 16-18 October 1998},
  pages        = {225--246},
  publisher    = {{CSLI} Publications},
  year         = {1998},
  timestamp    = {Wed, 17 Jan 2024 17:12:17 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/GanzingerHMS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"KZhcATGPXCJ7rtALp","bibbaseid":"ganzinger-hustadt-meyer-schmidt-aresolutionbaseddecisionprocedureforextensionsofk4-1998","author_short":["Ganzinger, H.","Hustadt, U.","Meyer, C.","Schmidt, R. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Harald"],"propositions":[],"lastnames":["Ganzinger"],"suffixes":[]},{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Meyer"],"suffixes":[]},{"firstnames":["Renate","A."],"propositions":[],"lastnames":["Schmidt"],"suffixes":[]}],"editor":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Zakharyaschev"],"suffixes":[]},{"firstnames":["Krister"],"propositions":[],"lastnames":["Segerberg"],"suffixes":[]},{"firstnames":["Maarten"],"propositions":["de"],"lastnames":["Rijke"],"suffixes":[]},{"firstnames":["Heinrich"],"propositions":[],"lastnames":["Wansing"],"suffixes":[]}],"title":"A Resolution-Based Decision Procedure for Extensions of K4","booktitle":"Advances in Modal Logic 2, papers from the second workshop on \"Advances in Modal logic,\" held in Uppsala, Sweden, 16-18 October 1998","pages":"225–246","publisher":"CSLI Publications","year":"1998","timestamp":"Wed, 17 Jan 2024 17:12:17 +0100","biburl":"https://dblp.org/rec/conf/aiml/GanzingerHMS98.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/aiml/GanzingerHMS98,\n author = {Harald Ganzinger and\n Ullrich Hustadt and\n Christoph Meyer and\n Renate A. Schmidt},\n editor = {Michael Zakharyaschev and\n Krister Segerberg and\n Maarten de Rijke and\n Heinrich Wansing},\n title = {A Resolution-Based Decision Procedure for Extensions of {K4}},\n booktitle = {Advances in Modal Logic 2, papers from the second workshop on \"Advances\n in Modal logic,\" held in Uppsala, Sweden, 16-18 October 1998},\n pages = {225--246},\n publisher = {{CSLI} Publications},\n year = {1998},\n timestamp = {Wed, 17 Jan 2024 17:12:17 +0100},\n biburl = {https://dblp.org/rec/conf/aiml/GanzingerHMS98.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ganzinger, H.","Hustadt, U.","Meyer, C.","Schmidt, R. A."],"editor_short":["Zakharyaschev, M.","Segerberg, K.","de Rijke, M.","Wansing, H."],"key":"DBLP:conf/aiml/GanzingerHMS98","id":"DBLP:conf/aiml/GanzingerHMS98","bibbaseid":"ganzinger-hustadt-meyer-schmidt-aresolutionbaseddecisionprocedureforextensionsofk4-1998","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj","FgmYE34DdKWThg2dR"],"keywords":[],"search_terms":["resolution","based","decision","procedure","extensions","ganzinger","hustadt","meyer","schmidt"],"title":"A Resolution-Based Decision Procedure for Extensions of K4","year":1998}