@misc{indiciaed438912a5f14,
  title = {Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable},
  author = {Catalin Dima and Ferucio Laurentiu Tiplea},
  year = {2011},
  url = {https://arxiv.org/abs/1102.4225},
  note = {Source identifier: 1102.4225}
}