@inproceedings{DBLP:conf/cade/NalonHD16,
  author       = {Cl{\'{a}}udia Nalon and
                  Ullrich Hustadt and
                  Clare Dixon},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {: {A} Resolution-Based Prover for Multimodal {K}},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {406--415},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_28},
  doi          = {10.1007/978-3-319-40229-1\_28},
  timestamp    = {Mon, 26 Jun 2023 20:45:22 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/NalonHD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"YCwSZ3uiCR3GzBAeW","bibbaseid":"nalon-hustadt-dixon-aresolutionbasedproverformultimodalk-2016","downloads":0,"creationDate":"2017-02-27T14:01:07.166Z","title":": A Resolution-Based Prover for Multimodal K","author_short":["Nalon, C.","Hustadt, U.","Dixon, C."],"year":2016,"bibtype":"inproceedings","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","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":[]}],"editor":[{"firstnames":["Nicola"],"propositions":[],"lastnames":["Olivetti"],"suffixes":[]},{"firstnames":["Ashish"],"propositions":[],"lastnames":["Tiwari"],"suffixes":[]}],"title":": A Resolution-Based Prover for Multimodal K","booktitle":"Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings","series":"Lecture Notes in Computer Science","volume":"9706","pages":"406–415","publisher":"Springer","year":"2016","url":"https://doi.org/10.1007/978-3-319-40229-1\\_28","doi":"10.1007/978-3-319-40229-1_28","timestamp":"Mon, 26 Jun 2023 20:45:22 +0200","biburl":"https://dblp.org/rec/conf/cade/NalonHD16.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/cade/NalonHD16,\n author = {Cl{\\'{a}}udia Nalon and\n Ullrich Hustadt and\n Clare Dixon},\n editor = {Nicola Olivetti and\n Ashish Tiwari},\n title = {: {A} Resolution-Based Prover for Multimodal {K}},\n booktitle = {Automated Reasoning - 8th International Joint Conference, {IJCAR}\n 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {9706},\n pages = {406--415},\n publisher = {Springer},\n year = {2016},\n url = {https://doi.org/10.1007/978-3-319-40229-1\\_28},\n doi = {10.1007/978-3-319-40229-1\\_28},\n timestamp = {Mon, 26 Jun 2023 20:45:22 +0200},\n biburl = {https://dblp.org/rec/conf/cade/NalonHD16.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Nalon, C.","Hustadt, U.","Dixon, C."],"editor_short":["Olivetti, N.","Tiwari, A."],"key":"DBLP:conf/cade/NalonHD16","id":"DBLP:conf/cade/NalonHD16","bibbaseid":"nalon-hustadt-dixon-aresolutionbasedproverformultimodalk-2016","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-40229-1\\_28"},"metadata":{"authorlinks":{"hustadt, u":"https://intranet.csc.liv.ac.uk/~ullrich/publications/"}},"downloads":0},"search_terms":["resolution","based","prover","multimodal","nalon","hustadt","dixon"],"keywords":[],"authorIDs":["FQ4uzxMf3b4zvaCis","KyM3A343Bq5hxAxKh","MsRDpvLKQPWxeMmSJ","XXPkJ4rgGHR7KkLPw","aQLR39RKeqjQcByRb","d5yicdDoFcdA9pdMk","f9MrYRy6KdAWhWMGG","xTTWW6j6J8SgLicLY","ztqM8or8pxCb8JZ2m"],"dataSources":["77JvGFZQteoFsRiyX","sf65xF3tXwz6TBuoQ","iqRbmbCgpDeaBjend","WhiGijHmCtTSdLaAj","FgmYE34DdKWThg2dR"]}