J
[JD06] Wojciech Jamroga and Jürgen Dix. Model Checking Abilities of Agents: A Closer Look. Technical Report IfI-06-02, Institut fúr Informatik, Technische Universität Clausthal, Germany, 2006. 
@techreport{IfI-06-02-JD,
  author =              {Jamroga, Wojciech and Dix, J{\"u}rgen},
  title =               {Model Checking Abilities of Agents: A Closer Look},
  number =              {IfI-06-02},
  year =                {2006},
  institution =         {Institut f{\'u}r Informatik, Technische
                         Universit{\"a}t Clausthal, Germany},
  type =                {Technical Report},
}
List of authors