T
[TW12] Nicolas Troquard and Dirk Walther. On Satisfiability in ATL with Strategy Contexts. In JELIA'12, Lecture Notes in Computer Science 7519, pages 398-410. Springer-Verlag, September 2012. 
@inproceedings{jelia2012-TW,
  author =              {Troquard, Nicolas and Walther, Dirk},
  title =               {On Satisfiability in {ATL} with Strategy Contexts},
  editor =              {Fari{\~n}as{ }del{ }Cerro, Luis and Herzig, Andreas
                         and Mengin, J{\'e}r{\^o}me},
  booktitle =           {{P}roceedings of the 13th {E}uropean {C}onference in
                         {L}ogics in {A}rtificial {I}ntelligence
                         ({JELIA}'12)},
  acronym =             {{JELIA}'12},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {7519},
  pages =               {398-410},
  year =                {2012},
  month =               sep,
  doi =                 {10.1007/978-3-642-33353-8_31},
}
List of authors