On Satisfiability in ATL with Strategy Contexts.

Nicolas Troquard, Dirk Walther

Browse the full JELIA paper archive.