@inproceedings{DBLP:conf/tableaux/NalonHD15,
  author    = {Cl{\'{a}}udia Nalon and
               Ullrich Hustadt and
               Clare Dixon},
  title     = {A Modal-Layered Resolution Calculus for {K}},
  booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 24th
               International Conference, {TABLEAUX} 2015, Wroc{\l}aw, Poland, September
               21-24, 2015. Proceedings},
  pages     = {185--200},
  year      = {2015},
  crossref  = {DBLP:conf/tableaux/2015},
  url       = {https://doi.org/10.1007/978-3-319-24312-2\_13},
  doi       = {10.1007/978-3-319-24312-2\_13},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tableaux/NalonHD15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"f9NSpMsKCcNaE88Ai","bibbaseid":"nalon-hustadt-dixon-amodallayeredresolutioncalculusfork-2015","downloads":0,"creationDate":"2017-02-27T14:01:07.171Z","title":"A Modal-Layered Resolution Calculus for K","author_short":["Nalon, C.","Hustadt, U.","Dixon, C."],"year":2015,"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/autonomy-and-verification/autonomy-and-verification.github.io/master/pubs.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Cláudia"],"propositions":[],"lastnames":["Nalon"],"suffixes":[]},{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["Clare"],"propositions":[],"lastnames":["Dixon"],"suffixes":[]}],"title":"A Modal-Layered Resolution Calculus for K","booktitle":"Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21-24, 2015. Proceedings","pages":"185–200","year":"2015","crossref":"DBLP:conf/tableaux/2015","url":"https://doi.org/10.1007/978-3-319-24312-2\\_13","doi":"10.1007/978-3-319-24312-2_13","timestamp":"Thu, 15 Jun 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/conf/tableaux/NalonHD15","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/tableaux/NalonHD15,\n author = {Cl{\\'{a}}udia Nalon and\n Ullrich Hustadt and\n Clare Dixon},\n title = {A Modal-Layered Resolution Calculus for {K}},\n booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 24th\n International Conference, {TABLEAUX} 2015, Wroc{\\l}aw, Poland, September\n 21-24, 2015. Proceedings},\n pages = {185--200},\n year = {2015},\n crossref = {DBLP:conf/tableaux/2015},\n url = {https://doi.org/10.1007/978-3-319-24312-2\\_13},\n doi = {10.1007/978-3-319-24312-2\\_13},\n timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/conf/tableaux/NalonHD15},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Nalon, C.","Hustadt, U.","Dixon, C."],"key":"DBLP:conf/tableaux/NalonHD15","id":"DBLP:conf/tableaux/NalonHD15","bibbaseid":"nalon-hustadt-dixon-amodallayeredresolutioncalculusfork-2015","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-24312-2\\_13"},"metadata":{"authorlinks":{"hustadt, u":"https://cgi.csc.liv.ac.uk/~ullrich/publications/"}},"downloads":0},"search_terms":["modal","layered","resolution","calculus","nalon","hustadt","dixon"],"keywords":[],"authorIDs":["545916c7b43425b77200033b","ErAb3uLyYwrs6vssX","FQ4uzxMf3b4zvaCis","KyM3A343Bq5hxAxKh","MsRDpvLKQPWxeMmSJ","XXPkJ4rgGHR7KkLPw","aQLR39RKeqjQcByRb","d5yicdDoFcdA9pdMk","f9MrYRy6KdAWhWMGG","xTTWW6j6J8SgLicLY","ztqM8or8pxCb8JZ2m"],"dataSources":["77JvGFZQteoFsRiyX","sf65xF3tXwz6TBuoQ","WhiGijHmCtTSdLaAj","iqRbmbCgpDeaBjend"]}