Helle Hvid Hansen Marc Pauly Axiomatising Nash-Consistent Coalition Logic. 394-406 2002 conf/jelia/2002 JELIA http://link.springer.de/link/service/series/0558/bibs/2424/24240394.htm db/conf/jelia/jelia2002.html#HansenP02