@article(AW09,
 author       = "Thomas {\r A}gotnes and Dirk Walther",
 year         = "2009",
 title        = "A Logic of Strategic Ability Under Bounded Memory",
 journal      = "Journal of Logic, Language and Information",
 volume       = "18",
 number       = "1",
 pages        = "55--77",
 doi          = "10.1007/s10849-008-9075-4",
)
@inproceedings(AHK97,
 author       = "Rajeev Alur and Thomas A. Henzinger and Orna Kupferman",
 year         = "1997",
 title        = "Alternating-time Temporal Logic",
 booktitle    = "FOCS",
 pages        = "100--109",
 doi          = "10.1109/SFCS.1997.646098",
)
@article(AHK02,
 author       = "Rajeev Alur and Thomas A. Henzinger and Orna Kupferman",
 year         = "2002",
 title        = "Alternating-time temporal logic",
 journal      = "J. ACM",
 volume       = "49",
 number       = "5",
 pages        = "672--713",
 doi          = "10.1145/585265.585270",
)
@article(BK10,
 author       = "Dietmar Berwanger and Lukasz Kaiser",
 year         = "2010",
 title        = "Information Tracking in Games on Graphs",
 journal      = "Journal of Logic, Language and Information",
 volume       = "19",
 number       = "4",
 pages        = "395--412",
 doi          = "10.1007/s10849-009-9115-8",
)
@inproceedings(BLLM09,
 author       = "Thomas Brihaye and Arnaud Da Costa Lopes and Fran\c {c}ois Laroussinie and Nicolas Markey",
 year         = "2009",
 title        = "ATL with Strategy Contexts and Bounded Memory",
 booktitle    = "LFCS",
 pages        = "92--106",
 doi          = "10.1007/978-3-540-92687-0\_7",
)
@inproceedings(CE81,
 author       = "Edmund M. Clarke and E. Allen Emerson",
 year         = "1981",
 title        = "Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic",
 booktitle    = "Logic of Programs",
 pages        = "52--71",
 doi          = "10.1007/BFb0025774",
)
@article(CES86,
 author       = "Edmund M. Clarke and E. Allen Emerson and A. Prasad Sistla",
 year         = "1986",
 title        = "Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications",
 journal      = "ACM Trans. Program. Lang. Syst.",
 volume       = "8",
 number       = "2",
 pages        = "244--263",
 url          = "http://doi.acm.org/10.1145/5397.5399",
)
@article(DT11,
 author       = "Catalin Dima and Ferucio Laurentiu Tiplea",
 year         = "2011",
 title        = "Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable",
 journal      = "CoRR",
 volume       = "abs/1102.4225",
 url          = "http://arxiv.org/abs/1102.4225",
)
@inproceedings(EJ91,
 author       = "E. Allen Emerson and Charanjit S. Jutla",
 year         = "1991",
 title        = "Tree Automata, Mu-Calculus and Determinacy (Extended Abstract)",
 booktitle    = "FOCS",
 pages        = "368--377",
 doi          = "10.1109/SFCS.1991.185392",
)
@article(JD08,
 author       = "Wojciech Jamroga and J{\"u}rgen Dix",
 year         = "2008",
 title        = "Model Checking Abilities of Agents: A Closer Look",
 journal      = "Theory Comput. Syst.",
 volume       = "42",
 number       = "3",
 pages        = "366--410",
 doi          = "10.1007/s00224-007-9080-z",
)
@inproceedings(PR89,
 author       = "Amir Pnueli and Roni Rosner",
 year         = "1989",
 title        = "On the Synthesis of a Reactive Module",
 booktitle    = "POPL",
 pages        = "179--190",
 doi          = "10.1145/75277.75293",
)
@article(Sch04,
 author       = "Pierre-Yves Schobbens",
 year         = "2004",
 title        = "Alternating-time logic with imperfect recall",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "85",
 number       = "2",
 pages        = "82--93",
 doi          = "10.1016/S1571-0661(05)82604-0",
)