D
[DT11] Cătălin Dima and Ferucio Laurenţiu Ţiplea. Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable. Research Report 1102.4225, arXiv, February 2011. 
@techreport{arxiv11-DT,
  author =              {Dima, C{\u a}t{\u a}lin and {\c T}iplea, Ferucio
                         Lauren{\c t}iu},
  title =               {Model-checking {ATL} under Imperfect Information and
                         Perfect Recall Semantics is Undecidable},
  number =              {1102.4225},
  year =                {2011},
  month =               feb,
  institution =         {arXiv},
  type =                {Research Report},
}
List of authors