TY  - RPRT
TI  - A Resolution Prover for Coalition Logic
AU  - Cláudia Nalon
AU  - Lan Zhang
AU  - Clare Dixon
AU  - Ullrich Hustadt
PY  - 2014
DO  - 10.4204/eptcs.146.9
UR  - https://arxiv.org/abs/1404.0841
ID  - 1404.0841
ER  -