@article(atl,
 author       = {R. Alur and T. A. Henzinger and O. Kupferman},
 year         = {2002},
 title        = {Alternating-Time Temporal Logic},
 journal      = {Journal of the ACM},
 volume       = {49},
 pages        = {672--713},
 doi          = {10.1145/585265.585270},
)
@article(coord,
 author       = {Krzysztof R Apt and Bart de Keijzer and Mona Rahn and Guido Sch{\"a}fer and Sunil Simon},
 year         = {2017},
 title        = {Coordination games on graphs},
 journal      = {International Journal of Game Theory},
 volume       = {46},
 number       = {3},
 pages        = {851–877},
 doi          = {10.1007/s00182-016-0560-8},
)
@article(WAG,
 author       = {Krzysztof R Apt and Sunil Simon},
 year         = {2015},
 title        = {A classification of weakly acyclic games},
 journal      = {Theory and Decision},
 volume       = {78},
 number       = {4},
 pages        = {501--524},
 doi          = {10.1007/978-3-642-33996-7_1},
)
@inproceedings(ASW15,
 author       = {Krzysztof R. Apt and Sunil Simon and Dominik Wojtczak},
 year         = {2015},
 title        = {Coordination Games on Directed Graphs},
 booktitle    = {Proc. of 15th International Conference on Theoretical Aspects of Rationality and Knowledge},
 doi          = {10.4204/EPTCS.215.6},
)
@article(Ben01,
 author       = {J. van Benthem},
 year         = {2001},
 title        = {Games in dynamic epistemic logic},
 journal      = {Bulletin of Economic Research},
 volume       = {53},
 number       = {4},
 pages        = {219--248},
 doi          = {10.1111/1467-8586.00133},
)
@article(BenProcess,
 author       = {J. van Benthem},
 year         = {2002},
 title        = {Extensive games as process models},
 journal      = {Journal of {L}ogic {L}anguage and {I}nformation},
 volume       = {11},
 pages        = {289--313},
 doi          = {10.1023/A:1015534111901},
)
@article(BG10,
 author       = {Johan van Benthem and Am{\'{e}}lie Gheerbrant},
 year         = {2010},
 title        = {Game Solution, Epistemic Dynamics and Fixed-Point Logics},
 journal      = {Fundamenta Informaticae},
 volume       = {100},
 number       = {1-4},
 pages        = {19--41},
 doi          = {10.3233/FI-2010-261},
)
@article(BonBI,
 author       = {G. Bonanno},
 year         = {2001},
 title        = {Branching Time Logic, Perfect Information Games and Backward Induction},
 journal      = {Games and Economic Behavior},
 volume       = {36},
 number       = {1},
 pages        = {57--73},
 doi          = {10.1006/game.1999.0812},
)
@inbook(BCM16,
 author       = {Sylvain Bouveret and Yann Chevaleyre and Nicolas Maudet},
 year         = {2016},
 title        = {Fair Allocation of Indivisible Goods},
 chapter      = {12},
 series       = {Handbook of Computational Social Choice},
 publisher    = {Cambridge University Press},
)
@inproceedings(BPZ13,
 author       = {Simina Branzei and Ariel D. Procaccia and Jie Zhang},
 year         = {2013},
 title        = {Externalities in cake cutting},
 booktitle    = {Proceedings of the 23rd {IJCAI}},
 pages        = {55--61},
)
@article(Bud11,
 author       = {E. Budish},
 year         = {2011},
 title        = {The combinatorial assignment problem: Approximate competitive equilibrium from equal incomes},
 journal      = {Journal of Political Economy},
 volume       = {119},
 number       = {6},
 pages        = {1061--1103},
 doi          = {10.1086/664613},
)
@article(SL10,
 author       = {Krishnendu Chatterjee and Thomas A. Henzinger and Nir Piterman},
 year         = {2010},
 title        = {Strategy logic},
 journal      = {Information and Computation},
 volume       = {208},
 number       = {6},
 pages        = {677--693},
 doi          = {10.1016/j.ic.2009.07.004},
)
@article(CEM17,
 author       = {Y. Chevaleyre and U. Endriss and N. Maudet},
 year         = {2017},
 title        = {Distributed Fair Allocation of Indivisible Goods},
 journal      = {Artificial Intelligence},
 volume       = {242},
 pages        = {1--22},
 doi          = {10.1016/j.artint.2016.09.005},
)
@inproceedings(maudetSwapPower15,
 author       = {Anastasia Damamme and Aur{\'e}lie Beynier and Yann Chevaleyre and Nicolas Maudet},
 year         = {2015},
 title        = {The power of swap deals in distributed resource allocation},
 booktitle    = {Proceedings of 14th International Conference on Autonomous Agents and Multiagent Systems},
 pages        = {625--633},
)
@book(EF99,
 author       = {H. Ebbinghaus and J. Flum},
 year         = {1999},
 title        = {Finite Model Theory},
 publisher    = {Springer},
 doi          = {10.1007/3-540-28788-4},
)
@inproceedings(ES11,
 author       = {R. Engelberg and M. Schapira},
 year         = {2011},
 title        = {Weakly-Acyclic (Internet) Routing Games},
 booktitle    = {Proc. 4th International Symposium on Algorithmic Game Theory (SAGT11)},
 series       = {Lecture Notes in Computer Science},
 volume       = {6982},
 publisher    = {Springer},
 pages        = {290--301},
 doi          = {10.1007/978-3-642-24829-0_26},
)
@inproceedings(todocorecomplexity15,
 author       = {Etsushi Fujita and Julien Lesca and Akihisa Sonoda and Taiki Todo and Makoto Yokoo},
 year         = {2015},
 title        = {A Complexity Approach for Core-Selecting Exchange with Multiple Indivisible Goods under Lexicographic Preferences.},
 booktitle    = {Proceedings of the 29th AAAI Conference on Artificial Intelligence},
 pages        = {907--913},
 doi          = {10.1613/jair.1.11254},
)
@article(GSS18,
 author       = {M. Ghodsi and H. Saleh and M. Seddighin},
 year         = {2018},
 title        = {Fair Allocation of Indivisible Items With Externalities},
 journal      = {CoRR},
 volume       = {abs/1805.06191},
 url          = {http://arxiv.org/abs/1805.06191},
)
@article(Gor03,
 author       = {V. Goranko},
 year         = {2003},
 title        = {The Basic Algebra of Game Equivalences},
 journal      = {Studia Logica},
 volume       = {75},
 number       = {2},
 pages        = {221--238},
 doi          = {10.1023/A:1027311011342},
)
@inproceedings(gourves2017object,
 author       = {Laurent Gourves and Julien Lesca and Ana{\"e}lle Wilczynski},
 year         = {2017},
 title        = {Object allocation via swaps along a social network},
 booktitle    = {Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI’17)},
 pages        = {213--219},
 doi          = {10.24963/ijcai.2017/31},
)
@book(grohePhd,
 author       = {Martin Grohe},
 year         = {1994},
 title        = {The Structure of Fixed Point Logics},
 publisher    = {Albert-Ludwigs-Universitat},
)
@article(HHMW03,
 author       = {P. Harrenstein and W. van der Hoek and J.J. Meyer and C. Witteven},
 year         = {2003},
 title        = {A Modal Characterization of {N}ash Equilibrium},
 journal      = {Fundamenta Informaticae},
 volume       = {57},
 number       = {2-4},
 pages        = {281--321},
)
@article(strat-reasoning,
 author       = {W. van der Hoek and W. Jamroga and M. Wooldridge},
 year         = {2005},
 title        = {A Logic for Strategic Reasoning},
 journal      = {Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems},
 pages        = {157--164},
 doi          = {10.1145/1082473.1082497},
)
@article(Jan68,
 author       = {E.B. Janovskaya},
 year         = {1968},
 title        = {Equilibrium Points in Polymatrix Games},
 journal      = {Litovskii Matematicheskii Sbornik},
 volume       = {8},
 pages        = {381--384},
)
@inproceedings(KL13,
 author       = {Bernd Kawald and Pascal Lenzner},
 year         = {2013},
 title        = {On Dynamics in Selfish Network Creation},
 booktitle    = {Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures},
 publisher    = {ACM},
 pages        = {83 -- 92},
 doi          = {10.1145/2486159.2486185},
)
@inproceedings(Lev12,
 author       = {O. Lev and J. S. Rosenschei},
 year         = {2012},
 title        = {Convergence of iterative voting},
 booktitle    = {Proceedings of AAMAS-2012},
 pages        = {611--618},
)
@book(libkin2013elements,
 author       = {Leonid Libkin},
 year         = {2013},
 title        = {Elements of finite model theory},
 publisher    = {Springer},
 doi          = {10.1007/978-3-662-07003-1},
)
@inproceedings(MardenAS07,
 author       = {J.R. Marden and G. Arslan and J.S. Shamma},
 year         = {2007},
 title        = {Regret based dynamics: convergence in weakly acyclic games},
 booktitle    = {Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007)},
 publisher    = {IFAAMAS},
 pages        = {194--201},
 doi          = {10.1145/1329125.1329175},
)
@article(Mei17,
 author       = {Reshef Meir and Maria Polukarov and Jeffrey S.Rosenschein and Nicholas R.Jennings},
 year         = {2017},
 title        = {Iterative voting and acyclic games},
 journal      = {Artificial Intelligence},
 volume       = {252},
 pages        = {100--122},
 doi          = {10.1016/j.artint.2017.08.002},
)
@article(Mil96,
 author       = {I. Milchtaich},
 year         = {1996},
 title        = {Congestion Games with Player-Specific Payoff Functions},
 journal      = {Games and Economic Behaviour},
 volume       = {13},
 pages        = {111--124},
 doi          = {10.1006/game.1996.0027},
)
@article(MS96,
 author       = {D. Monderer and L. S. Shapley},
 year         = {1996},
 title        = {Potential Games},
 journal      = {Games and Economic Behaviour},
 volume       = {14},
 pages        = {124--143},
 doi          = {10.1006/game.1996.0044},
)
@article(MW93,
 author       = {Roger B. Myerson and Robert J. Weber},
 year         = {1993},
 title        = {A Theory of Voting Equilibria},
 journal      = {The American Political Science Review},
 volume       = {87},
 number       = {1},
 pages        = {102--114},
 doi          = {10.2307/2938959},
)
@article(Par85,
 author       = {R. Parikh},
 year         = {1985},
 title        = {The logic of games and its applications},
 journal      = {Annals of Discrete Mathematics},
 volume       = {24},
 pages        = {111--140},
 doi          = {10.1016/S0304-0208(08)73078-0},
)
@inproceedings(kr08,
 author       = {R. Ramanujam and S. Simon},
 year         = {2008},
 title        = {Dynamic logic on games with structured strategies},
 booktitle    = {Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR-08)},
 publisher    = {AAAI Press},
 pages        = {49--58},
)
@inproceedings(RE12,
 author       = {A. Reijngoud and U. Endriss},
 year         = {2012},
 title        = {Voter response to iterated poll information},
 booktitle    = {Proceedings of AAMAS-2012},
 pages        = {635--644},
)
@article(Ros73,
 author       = {R. W. Rosenthal},
 year         = {1973},
 title        = {A Class of Games Possessing Pure-Strategy {Nash} Equilibria},
 journal      = {International Journal of Game Theory},
 volume       = {2},
 number       = {1},
 pages        = {65--67},
 doi          = {10.1007/BF01737559},
)
@article(Sch05,
 author       = {Nicole Schweikardt},
 year         = {2005},
 title        = {Arithmetic, first-order logic, and counting quantifiers},
 journal      = {ACM Transactions on Computational Logic},
 volume       = {6},
 number       = {3},
 pages        = {634--671},
 doi          = {10.1145/1071596.1071602},
)
@article(Sch06,
 author       = {Nicole Schweikardt},
 year         = {2006},
 title        = {On the expressive power of monadic least fixed point logic},
 journal      = {Theoretical Computer Science},
 volume       = {350},
 pages        = {325–344},
 doi          = {10.1016/j.tcs.2005.10.025},
)
@article(SS74,
 author       = {L. S. Shapley and H. Scarf},
 year         = {1974},
 title        = {On cores and indivisibility},
 journal      = {Journal of Mathematical Economics},
 volume       = {1},
 number       = {1},
 pages        = {23--37},
 doi          = {10.1016/0304-4068(74)90033-0},
)
@inproceedings(todo15exchange,
 author       = {Zhaohong Sun and Hideaki Hata and Taiki Todo and Makoto Yokoo},
 year         = {2015},
 title        = {Exchange of Indivisible Objects with Asymmetry},
 booktitle    = {Proceedings of the 24th International Joint Conference on Artificial Intelligence},
 pages        = {97--103},
)
@inproceedings(atles,
 author       = {D. Walther and W. van der Hoek and M. Wooldridge},
 year         = {2007},
 title        = {Alternating-time Temporal Logic with Explicit Strategies},
 booktitle    = {Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007)},
 pages        = {269--278},
 doi          = {10.1145/1324249.1324285},
)
@article(You93,
 author       = {H. Peyton Young},
 year         = {1993},
 title        = {The evolution of conventions},
 journal      = {Econometrica},
 volume       = {61},
 number       = {1},
 pages        = {57--84},
 doi          = {10.2307/2951778},
)