@article(toplas/AlurH98,
 author       = {Rajeev Alur and Thomas A. Henzinger},
 year         = {1998},
 title        = {Finitary Fairness},
 journal      = {{ACM} Trans. Program. Lang. Syst.},
 volume       = {20},
 number       = {6},
 pages        = {1171--1194},
 doi          = {10.1145/295656.295659},
)
@article(CycleGames,
 author       = {Benjamin Aminof and Sasha Rubin},
 year         = {2017},
 title        = {First-cycle games},
 journal      = {Information and Computation},
 volume       = {254},
 pages        = {195--216},
 doi          = {10.1016/j.ic.2016.10.008},
)
@article(BernetJW02,
 author       = {Julien Bernet and David Janin and Igor Walukiewicz},
 year         = {2002},
 title        = {Permissive strategies: from parity games to safety games},
 journal      = {{RAIRO} Theor. Informatics Appl.},
 volume       = {36},
 number       = {3},
 pages        = {261--275},
 doi          = {10.1051/ita:2002013},
)
@inproceedings(BiereCCZ99,
 author       = {Armin Biere and Alessandro Cimatti and Edmund M. Clarke and Yunshan Zhu},
 year         = {1999},
 title        = {Symbolic Model Checking without {BDD}s},
 editor       = {Rance Cleaveland},
 booktitle    = {{TACAS} '99, Proceedings},
 series       = {LNCS},
 volume       = {1579},
 publisher    = {Springer},
 pages        = {193--207},
 doi          = {10.1007/3-540-49059-0\_14},
)
@inbook(bradfield,
 author       = {Julian Bradfield and Colin Stirling},
 year         = {2007},
 title        = {Modal mu-calculi},
 pages        = {721--756},
 publisher    = {Elsevier},
 doi          = {10.1016/s1570-2464(07)80015-2},
)
@inproceedings(vardi,
 author       = {Doron Bustan and Orna Kupferman and Moshe Y. Vardi},
 year         = {2004},
 title        = {A Measured Collapse of the Modal {$\mathrm{\mu}$}-Calculus Alternation Hierarchy},
 editor       = {Volker Diekert and Michel Habib},
 booktitle    = {{STACS} 2004, 21st Annual Symposium on Theoretical Aspects of Computer Science, Proceedings},
 series       = {LNCS},
 volume       = {2996},
 publisher    = {Springer},
 pages        = {522--533},
 doi          = {10.1007/978-3-540-24749-4\_46},
)
@article(infcomp,
 author       = {Valentin Goranko and Antti Kuusisto and Raine R{\"{o}}nnholm},
 title        = {Game-Theoretic Semantics for {ATL+} with Applications to Model Checking},
 journal      = {To appear in Information and Computation},
)
@inproceedings(atl,
 author       = {Valentin Goranko and Antti Kuusisto and Raine R{\"{o}}nnholm},
 year         = {2016},
 title        = {Game-Theoretic Semantics for Alternating-Time Temporal Logic},
 booktitle    = {Proceedings of the 2016 International Conference on Autonomous Agents {\&} Multiagent Systems, {AAMAS}},
 pages        = {671--679},
)
@inproceedings(time2017,
 author       = {Valentin Goranko and Antti Kuusisto and Raine R{\"{o}}nnholm},
 year         = {2017},
 title        = {{CTL} with Finitely Bounded Semantics},
 editor       = {Sven Schewe and Thomas Schneider and Jef Wijsen},
 booktitle    = {24th International Symposium on Temporal Representation and Reasoning, {TIME}},
 series       = {LIPIcs},
 volume       = {90},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 pages        = {14:1--14:19},
 doi          = {10.4230/LIPIcs.TIME.2017.14},
)
@inproceedings(atl2,
 author       = {Valentin Goranko and Antti Kuusisto and Raine R{\"{o}}nnholm},
 year         = {2017},
 title        = {Game-Theoretic Semantics for {ATL+} with Applications to Model Checking},
 booktitle    = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, {AAMAS}},
 pages        = {1277--1285},
)
@article(acmtrans2018,
 author       = {Valentin Goranko and Antti Kuusisto and Raine R{\"{o}}nnholm},
 year         = {2018},
 title        = {Game-Theoretic Semantics for Alternating-Time Temporal Logic},
 journal      = {{ACM} Trans. Comput. Log.},
 volume       = {19},
 number       = {3},
 pages        = {17:1--17:38},
 doi          = {10.1145/3179998},
)
@article(tcs2019,
 author       = {Valentin Goranko and Antti Kuusisto and Raine R{\"{o}}nnholm},
 year         = {2019},
 title        = {Alternating-time temporal logic {ATL} with finitely bounded semantics},
 journal      = {Theor. Comput. Sci.},
 volume       = {797},
 pages        = {129--155},
 doi          = {10.1016/j.tcs.2019.05.029},
)
@article(techrepmu1,
 author       = {Lauri Hella and Antti Kuusisto and Raine R{\"{o}}nnholm},
 year         = {2017},
 title        = {Bounded game-theoretic semantics for modal mu-calculus},
 journal      = {CoRR},
 volume       = {abs/1706.00753},
 url          = {https://arxiv.org/pdf/1706.00753v1.pdf},
)
@article(techrepmu2,
 author       = {Lauri Hella and Antti Kuusisto and Raine R{\"{o}}nnholm},
 year         = {2020},
 title        = {Bounded game-theoretic semantics for modal mu-calculus},
 journal      = {CoRR},
 volume       = {abs/1706.00753},
 url          = {https://arxiv.org/pdf/1706.00753v2.pdf},
)
@article(sizegame,
 author       = {Lauri Hella and Miikka Vilander},
 year         = {2019},
 title        = {Formula size games for modal logic and {$\mu$}-calculus},
 journal      = {J. Log. Comput.},
 volume       = {29},
 number       = {8},
 pages        = {1311--1344},
 doi          = {10.1093/logcom/exz025},
)
@book(immerman99,
 author       = {Neil Immerman},
 year         = {1999},
 title        = {Descriptive complexity},
 series       = {Graduate texts in computer science},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4612-0539-5},
)
@article(Kozen83,
 author       = {Dexter Kozen},
 year         = {1983},
 title        = {Results on the Propositional mu-Calculus},
 journal      = {Theor. Comput. Sci.},
 volume       = {27},
 pages        = {333--354},
 doi          = {10.1016/0304-3975(82)90125-6},
)
@inproceedings(Kupferman2007,
 author       = {Orna Kupferman and Nir Piterman and Moshe Y. Vardi},
 year         = {2007},
 title        = {From Liveness to Promptness},
 editor       = {Werner Damm and Holger Hermanns},
 booktitle    = {Computer Aided Verification, 19th International Conference, {CAV}, Proceedings},
 series       = {LNCS},
 volume       = {4590},
 publisher    = {Springer},
 pages        = {406--419},
 doi          = {10.1007/978-3-540-73368-3\_44},
)
@inproceedings(turingcomplete,
 author       = {Antti Kuusisto},
 year         = {2014},
 title        = {Some {T}uring-Complete Extensions of First-Order Logic},
 editor       = {Adriano Peron and Carla Piazza},
 booktitle    = {GandALF 2014},
 series       = {{EPTCS}},
 volume       = {161},
 pages        = {4--17},
 doi          = {10.4204/EPTCS.161.4},
)
@article(final,
 author       = {Antti Kuusisto},
 year         = {2019},
 title        = {On Games and Computation},
 journal      = {CoRR},
 volume       = {abs/1910.14603},
)
@article(PenczekWZ02,
 author       = {Wojciech Penczek and Bozena Wozna and Andrzej Zbrzezny},
 year         = {2002},
 title        = {Bounded Model Checking for the Universal Fragment of {CTL}},
 journal      = {Fundam. Inform.},
 volume       = {51},
 number       = {1-2},
 pages        = {135--156},
)
@article(fil,
 author       = {Robert S. Streett and E. Allen Emerson},
 year         = {1989},
 title        = {An Automata Theoretic Decision Procedure for the Propositional Mu-Calculus},
 journal      = {Inf. Comput.},
 volume       = {81},
 number       = {3},
 pages        = {249--264},
 doi          = {10.1016/0890-5401(89)90031-X},
)
@article(Zhang15,
 author       = {Wenhui Zhang},
 year         = {2015},
 title        = {Bounded semantics},
 journal      = {Theoretical Computer Science},
 volume       = {564},
 pages        = {1--29},
 doi          = {10.1016/j.tcs.2014.10.026},
)