C
[CHP10] Krishnendu Chatterjee, Thomas A. Henzinger et Nir Piterman. Strategy Logic. Information and Computation 208(6):677-693. Elsevier, juin 2010. 
@article{icomp208(6)-CHP,
  author =              {Chatterjee, Krishnendu and Henzinger, Thomas A. and
                         Piterman, Nir},
  title =               {Strategy Logic},
  publisher =           {Elsevier},
  journal =             {Information and Computation},
  volume =              {208},
  number =              {6},
  pages =               {677-693},
  year =                {2010},
  month =               jun,
  doi =                 {10.1016/j.ic.2009.07.004},
}
Liste des auteurs