@inproceedings{DBLP:conf/tableaux/HustadtGDNZ15,
  author       = {Ullrich Hustadt and
                  Paul Gainer and
                  Clare Dixon and
                  Cl{\'{a}}udia Nalon and
                  Lan Zhang},
  editor       = {Hans de Nivelle},
  title        = {Ordered Resolution for Coalition Logic},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 24th
                  International Conference, {TABLEAUX} 2015, Wroc{\l}aw, Poland, September
                  21-24, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9323},
  pages        = {169--184},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-24312-2\_12},
  doi          = {10.1007/978-3-319-24312-2\_12},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/HustadtGDNZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"GevoAuuyB7nrbskJx","bibbaseid":"hustadt-gainer-dixon-nalon-zhang-orderedresolutionforcoalitionlogic-2015","downloads":0,"creationDate":"2017-02-27T14:01:07.169Z","title":"Ordered Resolution for Coalition Logic","author_short":["Hustadt, U.","Gainer, P.","Dixon, C.","Nalon, C.","Zhang, L."],"year":2015,"bibtype":"inproceedings","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["Paul"],"propositions":[],"lastnames":["Gainer"],"suffixes":[]},{"firstnames":["Clare"],"propositions":[],"lastnames":["Dixon"],"suffixes":[]},{"firstnames":["Cláudia"],"propositions":[],"lastnames":["Nalon"],"suffixes":[]},{"firstnames":["Lan"],"propositions":[],"lastnames":["Zhang"],"suffixes":[]}],"editor":[{"firstnames":["Hans"],"propositions":["de"],"lastnames":["Nivelle"],"suffixes":[]}],"title":"Ordered Resolution for Coalition Logic","booktitle":"Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21-24, 2015. Proceedings","series":"Lecture Notes in Computer Science","volume":"9323","pages":"169–184","publisher":"Springer","year":"2015","url":"https://doi.org/10.1007/978-3-319-24312-2\\_12","doi":"10.1007/978-3-319-24312-2_12","timestamp":"Sat, 19 Oct 2019 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/tableaux/HustadtGDNZ15.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/tableaux/HustadtGDNZ15,\n author = {Ullrich Hustadt and\n Paul Gainer and\n Clare Dixon and\n Cl{\\'{a}}udia Nalon and\n Lan Zhang},\n editor = {Hans de Nivelle},\n title = {Ordered Resolution for Coalition Logic},\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 series = {Lecture Notes in Computer Science},\n volume = {9323},\n pages = {169--184},\n publisher = {Springer},\n year = {2015},\n url = {https://doi.org/10.1007/978-3-319-24312-2\\_12},\n doi = {10.1007/978-3-319-24312-2\\_12},\n timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/tableaux/HustadtGDNZ15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hustadt, U.","Gainer, P.","Dixon, C.","Nalon, C.","Zhang, L."],"editor_short":["de Nivelle, H."],"key":"DBLP:conf/tableaux/HustadtGDNZ15","id":"DBLP:conf/tableaux/HustadtGDNZ15","bibbaseid":"hustadt-gainer-dixon-nalon-zhang-orderedresolutionforcoalitionlogic-2015","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-24312-2\\_12"},"metadata":{"authorlinks":{"hustadt, u":"https://cgi.csc.liv.ac.uk/~ullrich/publications/"}},"downloads":0},"search_terms":["ordered","resolution","coalition","logic","hustadt","gainer","dixon","nalon","zhang"],"keywords":[],"authorIDs":["aQLR39RKeqjQcByRb"],"dataSources":["77JvGFZQteoFsRiyX","sf65xF3tXwz6TBuoQ","WhiGijHmCtTSdLaAj","iqRbmbCgpDeaBjend","FgmYE34DdKWThg2dR"]}