@misc{indiciae4ca783e2d60b,
  title = {Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions},
  author = {Cătălin Dima and Constantin Enea and Dimitar Guelev},
  year = {2010},
  doi = {10.4204/eptcs.25.12},
  url = {https://arxiv.org/abs/1006.1414},
  note = {Source identifier: 1006.1414}
}