%0 Journal Article %1 journals/logcom/NalonZDH14 %A Nalon, Cláudia %A Zhang, Lan %A Dixon, Clare %A Hustadt, Ullrich %D 2014 %J J. Log. Comput. %K %N 4 %P 883-917 %T A resolution-based calculus for Coalition Logic. %U http://dblp.uni-trier.de/db/journals/logcom/logcom24.html#NalonZDH14 %V 24

@article{journals/logcom/NalonZDH14, added-at = {2023-12-14T15:03:03.000+0100}, author = {Nalon, Cláudia and Zhang, Lan and Dixon, Clare and Hustadt, Ullrich}, biburl = {https://www.bibsonomy.org/bibtex/2dd6cc2ce32d347d5c43b5230535ac030/admin}, ee = {https://doi.org/10.1093/logcom/ext074}, interhash = {e695955cf5bea0258bedd6c74c61a0ea}, intrahash = {dd6cc2ce32d347d5c43b5230535ac030}, journal = {J. Log. Comput.}, keywords = {}, number = 4, pages = {883-917}, timestamp = {2023-12-14T15:03:03.000+0100}, title = {A resolution-based calculus for Coalition Logic.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom24.html#NalonZDH14}, volume = 24, year = 2014 }