@article{DBLP:journals/igpl/HustadtNS00,
  author       = {Ullrich Hustadt and
                  Hans de Nivelle and
                  Renate A. Schmidt},
  title        = {Resolution-Based Methods for Modal Logics},
  journal      = {Log. J. {IGPL}},
  volume       = {8},
  number       = {3},
  pages        = {265--292},
  year         = {2000},
  url          = {https://doi.org/10.1093/jigpal/8.3.265},
  doi          = {10.1093/JIGPAL/8.3.265},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/HustadtNS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"5pyzWjPiFEvwgbnv8","bibbaseid":"hustadt-denivelle-schmidt-resolutionbasedmethodsformodallogics-2000","author_short":["Hustadt, U.","de Nivelle, H.","Schmidt, R. A."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["Hans"],"propositions":["de"],"lastnames":["Nivelle"],"suffixes":[]},{"firstnames":["Renate","A."],"propositions":[],"lastnames":["Schmidt"],"suffixes":[]}],"title":"Resolution-Based Methods for Modal Logics","journal":"Log. J. IGPL","volume":"8","number":"3","pages":"265–292","year":"2000","url":"https://doi.org/10.1093/jigpal/8.3.265","doi":"10.1093/JIGPAL/8.3.265","timestamp":"Fri, 06 Mar 2020 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/igpl/HustadtNS00.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/igpl/HustadtNS00,\n author = {Ullrich Hustadt and\n Hans de Nivelle and\n Renate A. Schmidt},\n title = {Resolution-Based Methods for Modal Logics},\n journal = {Log. J. {IGPL}},\n volume = {8},\n number = {3},\n pages = {265--292},\n year = {2000},\n url = {https://doi.org/10.1093/jigpal/8.3.265},\n doi = {10.1093/JIGPAL/8.3.265},\n timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/igpl/HustadtNS00.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hustadt, U.","de Nivelle, H.","Schmidt, R. A."],"key":"DBLP:journals/igpl/HustadtNS00","id":"DBLP:journals/igpl/HustadtNS00","bibbaseid":"hustadt-denivelle-schmidt-resolutionbasedmethodsformodallogics-2000","role":"author","urls":{"Paper":"https://doi.org/10.1093/jigpal/8.3.265"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj","FgmYE34DdKWThg2dR"],"keywords":[],"search_terms":["resolution","based","methods","modal","logics","hustadt","de nivelle","schmidt"],"title":"Resolution-Based Methods for Modal Logics","year":2000}