%0 Conference Paper %1 conf/tableaux/HustadtGDNZ15 %A Hustadt, Ullrich %A Gainer, Paul %A Dixon, Clare %A Nalon, Cláudia %A Zhang, Lan %B TABLEAUX %D 2015 %E de Nivelle, Hans %I Springer %K %P 169-184 %T Ordered Resolution for Coalition Logic. %U http://dblp.uni-trier.de/db/conf/tableaux/tableaux2015.html#HustadtGDNZ15 %V 9323 %@ 978-3-319-24311-5

@inproceedings{conf/tableaux/HustadtGDNZ15, added-at = {2023-12-12T17:40:07.000+0100}, author = {Hustadt, Ullrich and Gainer, Paul and Dixon, Clare and Nalon, Cláudia and Zhang, Lan}, biburl = {https://www.bibsonomy.org/bibtex/2cd591431763b33c85de70ac3b70775f4/admin}, booktitle = {TABLEAUX}, crossref = {conf/tableaux/2015}, editor = {de Nivelle, Hans}, ee = {https://doi.org/10.1007/978-3-319-24312-2_12}, interhash = {0708e5743cea947b1cfc072a841e9079}, intrahash = {cd591431763b33c85de70ac3b70775f4}, isbn = {978-3-319-24311-5}, keywords = {}, pages = {169-184}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T17:40:07.000+0100}, title = {Ordered Resolution for Coalition Logic.}, url = {http://dblp.uni-trier.de/db/conf/tableaux/tableaux2015.html#HustadtGDNZ15}, volume = 9323, year = 2015 }