J
[JD08] Wojciech Jamroga and Jürgen Dix. Model Checking Abilities of Agents: A Closer Look. Theory of Computing Systems 42(3):366-410. Springer-Verlag, April 2008. 
@article{tocsys42(3)-JD,
  author =              {Jamroga, Wojciech and Dix, J{\"u}rgen},
  title =               {Model Checking Abilities of Agents: A Closer Look},
  publisher =           {Springer-Verlag},
  journal =             {Theory of Computing Systems},
  volume =              {42},
  number =              {3},
  pages =               {366-410},
  year =                {2008},
  month =               apr,
  doi =                 {10.1007/s00224-007-9080-z},
}
List of authors