@inproceedings{Nalon+Hustadt+Dixon@IJCAR2016,
 author    = {Cl{\'{a}}udia Nalon and
              Ullrich Hustadt and
              Clare Dixon},
 title     = {KSP: {A} Resolution-Based Prover for Multimodal {K}},
 booktitle = {Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2016)},
 pages     = {406--415},
 editor    = {Nicola Olivetti and
              Ashish Tiwari},
 series    = {Lecture Notes in Computer Science},
 volume    = {9706},
 year      = {2016},
}

{"_id":"2YoEhFBDwFtcFhcjR","bibbaseid":"nalon-hustadt-dixon-ksparesolutionbasedproverformultimodalk-2016","author_short":["Nalon, C.","Hustadt, U.","Dixon, C."],"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":"KSP: A Resolution-Based Prover for Multimodal K","booktitle":"Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2016)","pages":"406–415","editor":[{"firstnames":["Nicola"],"propositions":[],"lastnames":["Olivetti"],"suffixes":[]},{"firstnames":["Ashish"],"propositions":[],"lastnames":["Tiwari"],"suffixes":[]}],"series":"Lecture Notes in Computer Science","volume":"9706","year":"2016","bibtex":"@inproceedings{Nalon+Hustadt+Dixon@IJCAR2016,\n author = {Cl{\\'{a}}udia Nalon and\n Ullrich Hustadt and\n Clare Dixon},\n title = {KSP: {A} Resolution-Based Prover for Multimodal {K}},\n booktitle = {Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2016)},\n pages = {406--415},\n editor = {Nicola Olivetti and\n Ashish Tiwari},\n series = {Lecture Notes in Computer Science},\n volume = {9706},\n year = {2016},\n}\n","author_short":["Nalon, C.","Hustadt, U.","Dixon, C."],"editor_short":["Olivetti, N.","Tiwari, A."],"key":"Nalon+Hustadt+Dixon@IJCAR2016","id":"Nalon+Hustadt+Dixon@IJCAR2016","bibbaseid":"nalon-hustadt-dixon-ksparesolutionbasedproverformultimodalk-2016","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":["ksp","resolution","based","prover","multimodal","nalon","hustadt","dixon"],"title":"KSP: A Resolution-Based Prover for Multimodal K","year":2016}