@book(abiteb,
 author       = "Serge Abiteboul and Richard Hull and Victor Vianu",
 year         = "1995",
 title        = "Foundations of Databases",
 publisher    = "Addison-Wesley",
)
@article(bgs,
 author       = "Andreas Blass and Yuri Gurevich and Saharon Shelah",
 year         = "1999",
 title        = "Choiceless Polynomial Time",
 journal      = "Ann. Pure Appl. Logic",
 volume       = "100",
 number       = "1-3",
 pages        = "141--187",
 doi          = "10.1016/S0168-0072(99)00005-6",
)
@book(borger,
 author       = "Egon B{\"o}rger and Robert F. St{\"a}rk",
 year         = "2003",
 title        = "Abstract State Machines. A Method for High-Level System Design and Analysis",
 publisher    = "Springer",
 doi          = "10.1007/978-1-84882-736-3\_3",
)
@inproceedings(bradfield,
 author       = "J. C. Bradfield",
 year         = "2013",
 title        = "Team building in dependence",
 booktitle    = "CSL",
 pages        = "116--128",
 doi          = "10.4230/LIPIcs.CSL.2013.116",
)
@article(chandra,
 author       = "Ashok K. Chandra and David Harel",
 year         = "1980",
 title        = "Computable Queries for Relational Data Bases",
 journal      = "J. Comput. Syst. Sci.",
 volume       = "21",
 number       = "2",
 pages        = "156--178",
 doi          = "10.1016/0022-0000(80)90032-X",
)
@inproceedings(hella,
 author       = "P. Galliani and Lauri Hella",
 year         = "2013",
 title        = "Inclusion logic and fixed point logic",
 booktitle    = "CSL",
 pages        = "281--295",
 doi          = "10.4230/LIPIcs.CSL.2013.281",
)
@article(girard,
 author       = "Jean-Yves Girard",
 year         = "1987",
 title        = "Linear Logic",
 journal      = "Theor. Comput. Sci.",
 volume       = "50",
 pages        = "1--102",
 doi          = "10.1016/0304-3975(87)90045-4",
)
@article(gra,
 author       = "E. Gr{\"a}del",
 year         = "2013",
 title        = "Model-checking games for logics of imperfect information",
 journal      = "Theor. Comput. Sci.",
 volume       = "493",
 pages        = "2--14",
 doi          = "10.1016/j.tcs.2012.10.033",
)
@inproceedings(gradel,
 author       = "E. Gr{\"a}del and S. Siebertz",
 year         = "2012",
 title        = "Dynamic definability",
 booktitle    = "ICDT",
 pages        = "236--248",
 doi          = "10.1145/2274576.2274601",
)
@article(guuure1,
 author       = "Y. Gurevich",
 year         = "1985",
 title        = "A new thesis",
 journal      = "American Mathematical Society Abstracts",
 volume       = "6",
 number       = "4",
 pages        = "317",
)
@book(hintikka22,
 author       = "J. Hintikka",
 year         = "1973",
 title        = "Logic, Language-Games and Information: Kantian Themes in the Philosophy of Logic",
 publisher    = "Oxford: Clarendon Press",
)
@book(hintikka,
 author       = "J. Hintikka",
 year         = "1996",
 title        = "The Principles of Mathematics Revisited",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/cbo9780511624919",
)
@inproceedings(sandu,
 author       = "J. Hintikka and G. Sandu",
 year         = "1989",
 title        = "Informational independence as a semantical phenomenon",
 booktitle    = "Proceedings of the Eighth International Congress of Logic Methodology and Philosophy of Science",
 pages        = "571--589",
 doi          = "10.1016/S0049-237X(08)70066-1",
)
@article(japaridze,
 author       = "Giorgi Japaridze",
 year         = "2003",
 title        = "Introduction to computability logic",
 journal      = "Ann. Pure Appl. Logic",
 volume       = "123",
 number       = "1-3",
 pages        = "1--99",
 doi          = "10.1016/S0168-0072(03)00023-X",
)
@article(kuusisto,
 author       = "A. Kuusisto",
 year         = "2013",
 title        = "A double team semantics for generalized quantifiers",
 journal      = "CoRR",
 volume       = "abs/1310.3032",
 url          = "http://arxiv.org/abs/1310.3032",
)
@book(libkin,
 author       = "L. Libkin",
 year         = "2004",
 title        = "Elements of Finite Model Theory",
 publisher    = "Springer",
 doi          = "10.1007/978-3-662-07003-1",
)
@article(lindstrom,
 author       = "P. Lindstr\"{o}m",
 year         = "1966",
 title        = "First order predicate logic with generalized quantifiers",
 journal      = "Theoria",
 volume       = "32",
 pages        = "186–195",
 doi          = "10.1111/j.1755-2567.1966.tb00600.x",
)
@book(mann,
 author       = "A. L. Mann and G. Sandu and M. Sevenster",
 year         = "2011",
 title        = "Independence-Friendly Logic - a Game-Theoretic Approach",
 series       = "London Mathematical Society lecture note series",
 volume       = "386",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/CBO9780511981418",
)
@inproceedings(imme,
 author       = "S. Patnaik and N. Immerman",
 year         = "1994",
 title        = "Dyn-FO: A parallel, dynamic complexity class",
 booktitle    = "PODS",
 pages        = "210--221",
 doi          = "10.1145/182591.182614",
)
@incollection(vaah,
 author       = "J. A. V{\"a}{\"a}n{\"a}nen",
 year         = "1979",
 title        = "Abstract logic and set theory. I. Definability",
 booktitle    = "Logic Colloquium, '78, Studies in Logic Foundations Mathematics",
 publisher    = "North Holland, Amsterdam",
 pages        = "391--421",
 doi          = "10.1016/s0049-237x(08)71637-9",
)
@book(vaananen,
 author       = "J. A. V{\"a}{\"a}n{\"a}nen",
 year         = "2007",
 title        = "Dependence Logic - A New Approach to Independence Friendly Logic",
 series       = "London Mathematical Society student texts",
 volume       = "70",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/cbo9780511611193.004",
)
@article(vaa,
 author       = "J. A. V{\"a}{\"a}n{\"a}nen",
 year         = "2012",
 title        = "Second order logic or set theory?",
 journal      = "Bulletin of Symbolic Logic",
 volume       = "18",
 number       = "1",
 pages        = "91--121",
 doi          = "10.2178/bsl/1327328440",
)