@JOURNAL{Nalon+Zhang+Dixon+Hustadt@JLC2014,
 AUTHOR        = {Cl{\'a}udia Nalon and Lan Zhang and Clare Dixon and Ullrich Hustadt},
 TITLE         = {A resolution-based calculus for Coalition Logic},
 JOURNAL       = {Journal of Logic and Computation},
 VOLUME        = {24},
 NUMBER        = {4},
 PAGES         = {883-917},
 YEAR          = {2014},
 URL           = {http://logcom.oxfordjournals.org/content/24/4/883},
 ABSTRACT      = {We present a resolution-based calculus for the Coalition Logic CL, a
non-normal modal logic used for reasoning about cooperative agency. We present
a normal form and a set of resolution-based inference rules to solve the 
satisfiability problem in CL. We also show that the calculus presented here is sound,
complete, and terminating.}
}