@inproceedings(AHK1997,
 author       = "R. Alur and T. A. Henziger and O. Kupferman",
 year         = "1997",
 title        = "Alternating-Time Temporal Logic",
 booktitle    = "Proceedings of the 38th {IEEE} Symposium on Foundations of Computer Science",
 pages        = "100--109",
 doi          = "10.1109/SFCS.1997.646098",
)
@article(AHK2002,
 author       = "R. Alur and T. A. Henziger and O. Kupferman",
 year         = "2002",
 title        = "Alternating-Time Temporal Logic",
 journal      = "Journal of the ACM",
 volume       = "49",
 number       = "5",
 pages        = "672--713",
 doi          = "10.1145/585265.585270",
)
@article(AD2013:TATL,
 author       = "A. David",
 year         = "2013",
 title        = "TATL: Implementation of ATL Tableau-Based Decision Procedure",
 journal      = "LNCS",
 volume       = "8123",
 pages        = "97--103",
 doi          = "10.1007/978-3-642-40537-2\_10",
)
@article(DFK06,
 author       = "A. Degtyarev and M. Fisher and B. Konev",
 year         = "2006",
 title        = "Monodic temporal resolution",
 journal      = "ACM Trans. Comput. Log",
 volume       = "7",
 number       = "1",
 pages        = "108--150",
 doi          = "10.1145/1119439.1119443",
)
@inproceedings(Goranko2001,
 author       = "V. Goranko",
 year         = "2001",
 title        = "Coalition games and alternating temporal logics",
 booktitle    = "TARK '01",
 publisher    = "Morgan Kaufmann",
 address      = "San Francisco, CA, USA",
 pages        = "259--272",
 url          = "http://dl.acm.org/citation.cfm?id=1028128.1028157",
)
@article(GS2009,
 author       = "V. Goranko and D. Shkatov",
 year         = "2009",
 title        = "Tableau-Based Decision Procedures for Logics of Strategic Ability in Multiagent Systems",
 journal      = "ACM Transactions on Computational Logic",
 volume       = "11",
 number       = "1",
 pages        = "3:1--3:51",
 doi          = "10.1145/1614431.1614434",
)
@inproceedings(GTW2011,
 author       = "R. Gor{\'e} and J. Thomson and F. Widmann",
 year         = "2011",
 title        = "An Experimental Comparison of Theorem Provers for {CTL}",
 editor       = "C. Combi and M. Leucker and F.. Wolter",
 booktitle    = "TIME 2011,Germany, September 12-14",
 publisher    = "IEEE",
 pages        = "49--56",
 doi          = "10.1109/TIME.2011.16",
)
@mastersthesis(Hansen2004,
 author       = "H. Hansen",
 year         = "2004",
 title        = "Tableau Games for Coalition Logic and Alternating-Time Temporal Logic -- theory and implementation",
 school       = "University of Amsterdam",
)
@misc(Herzig-ESSLLI-2007,
 author       = "A. Herzig",
 year         = "2007",
 title        = "Logics for Agency and Multi-Agent Systems",
 note         = "Slides. ESSLLI. Available at \url {http://www.staff.science.uu.nl/~broer110/ESSLLI07/}",
)
@inproceedings(HustadtSchmidt02b,
 author       = "U. Hustadt and R. A. Schmidt",
 year         = "2002",
 title        = "Scientific Benchmarking with Temporal Logic Decision Procedures",
 editor       = "D. Fensel and F. Giunchiglia and D. McGuinness and M-A. Williams",
 booktitle    = "KR'2002",
 publisher    = "M. Kaufmann",
 pages        = "533--544",
)
@techreport(NZDH-TR-2013,
 author       = "C. Nalon and L. Zhang and C. Dixon and U. Hustadt",
 year         = "2013",
 title        = "A resolution-based calculus for Coalition Logic (Extended Version)",
 type         = "Technical Report",
 number       = "ULCS-13-004",
 institution  = "University of Liverpool",
 address      = "Liverpool, UK",
 note         = "Available at \url {http://intranet.csc.liv.ac.uk/research/techreports/?id=ULCS-13-004}",
)
@article(NZDH-JLC-2014,
 author       = "C. Nalon and L. Zhang and C. Dixon and U. Hustadt",
 year         = "2014",
 title        = "A resolution-based calculus for Coalition Logic",
 journal      = "Journal of Logic and Computation",
 doi          = "10.1093/logcom/ext074",
 note         = "To appear",
)
@phdthesis(Pauly2001,
 author       = "M. Pauly",
 year         = "2001",
 title        = "Logic for Social Software",
 school       = "University of Amsterdam",
 note         = "Dissertation Series 2001-10",
)
@article(Pauly2002,
 author       = "M. Pauly",
 year         = "2002",
 title        = "A Modal Logic for Coalitional Power in Games",
 journal      = "Journal of Logic and Computation",
 volume       = "12",
 number       = "1",
 pages        = "149--166",
 doi          = "10.1093/logcom/12.1.149",
)
@article(Rob65,
 author       = "J.A. Robinson",
 year         = "1965",
 title        = "A {M}achine--{O}riented {L}ogic {B}ased on the {R}esolution {P}rinciple",
 journal      = "Journal of the ACM",
 volume       = "12",
 number       = "1",
 pages        = "23--41",
 doi          = "10.1145/321250.321253",
)
@article(WLWW2006,
 author       = "D. Walther and C. Lutz and F. Wolter and M. Wooldridge",
 year         = "2006",
 title        = "{ATL} Satisfiability is Indeed {ExpTime}-complete",
 journal      = "Journal of Logic and Computation",
 volume       = "16",
 number       = "6",
 pages        = "765--787",
 doi          = "10.1093/logcom/exl009",
)