Ordered Resolution for Coalition Logic.

Ullrich Hustadt, Paul Gainer, Clare Dixon, Cludia Nalon, Lan Zhang

Browse the full TABLEAUX paper archive.