@article(alternation,
 author       = {Ashok~K. Chandra and Dexter Kozen and Larry~J. Stockmeyer},
 year         = {1981},
 title        = {Alternation},
 journal      = {J. {ACM}},
 volume       = {28},
 number       = {1},
 pages        = {114--133},
 doi          = {10.1145/322234.322243},
)
@book(dukovo16,
 author       = {Arnaud Durand and Juha Kontinen and Heribert Vollmer},
 year         = {2016},
 title        = {Expressivity and Complexity of Dependence Logic},
 publisher    = {Springer, In Press},
 doi          = {10.1007/978-3-319-31803-5\_2},
)
@article(Galliani12,
 author       = {Pietro Galliani},
 year         = {2012},
 title        = {Inclusion and exclusion dependencies in team semantics - On some logics of imperfect information},
 journal      = {Ann. Pure Appl. Logic},
 volume       = {163},
 number       = {1},
 pages        = {68--84},
 doi          = {10.1016/j.apal.2011.08.005},
)
@inproceedings(GallianiHK13,
 author       = {Pietro Galliani and Miika Hannula and Juha Kontinen},
 year         = {2013},
 title        = {{Hierarchies in independence logic}},
 booktitle    = {Computer Science Logic 2013 (CSL 2013)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {23},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {263--280},
 doi          = {10.4230/LIPIcs.CSL.2013.263},
)
@incollection(piil_complexity_2015,
 author       = {Miika Hannula and Juha Kontinen and Jonni Virtema and Heribert Vollmer},
 year         = {2015},
 title        = {Complexity of Propositional Independence and Inclusion Logic},
 booktitle    = {Mathematical Foundations of Computer Science 2015 - 40th International Symposium, {MFCS} 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part {I}},
 pages        = {269--280},
 doi          = {10.1007/978-3-662-48057-1\_21},
)
@inproceedings(hkmv15,
 author       = {Lauri Hella and Antti Kuusisto and Arne Meier and Heribert Vollmer},
 year         = {2015},
 title        = {Modal Inclusion Logic: Being Lax is Simpler than Being Strict},
 booktitle    = {Mathematical Foundations of Computer Science 2015 - 40th International Symposium, {MFCS} 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part {I}},
 pages        = {281--292},
 doi          = {10.1007/978-3-662-48057-1\_22},
)
@incollection(hintikka89,
 author       = {Jaakko Hintikka and Gabriel Sandu},
 year         = {1989},
 title        = {Informational Independence as a Semantical Phenomenon},
 editor       = {Jens Erik~Fenstad, Ivan T.~Frolov and Risto Hilpinen},
 booktitle    = {Logic, Methodology and Philosophy of Science VIIIProceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science},
 series       = {Studies in Logic and the Foundations of Mathematics},
 volume       = {126},
 publisher    = {Elsevier},
 pages        = {571 -- 589},
 doi          = {10.1016/S0049-237X(08)70066-1},
)
@article(kontinen2011team,
 author       = {Juha Kontinen and Ville Nurmi},
 year         = {2011},
 title        = {Team Logic and Second-Order Logic},
 journal      = {Fundam. Inform.},
 volume       = {106},
 number       = {2-4},
 pages        = {259--272},
 doi          = {10.3233/FI-2011-386},
)
@article(Kuusisto2015,
 author       = {Antti Kuusisto},
 year         = {2015},
 title        = {A Double Team Semantics for Generalized Quantifiers},
 journal      = {Journal of Logic, Language and Information},
 volume       = {24},
 number       = {2},
 pages        = {149--191},
 doi          = {10.1007/s10849-015-9217-4},
)
@article(lohrey_model-checking_2012,
 author       = {Markus Lohrey},
 year         = {2012},
 title        = {Model-checking hierarchical structures},
 journal      = {Journal of Computer and System Sciences},
 volume       = {78},
 number       = {2},
 pages        = {461--490},
 doi          = {10.1016/j.jcss.2011.05.006},
)
@article(sqbf_report,
 author       = {Martin L{\"{u}}ck},
 year         = {2016},
 title        = {Complete Problems of Propositional Logic for the Exponential Hierarchy},
 journal      = {CoRR},
 volume       = {abs/1602.03050},
)
@phdthesis(nurmi09,
 author       = {Ville Nurmi},
 year         = {2009},
 title        = {Dependence Logic: Investigations into Higher-Order Semantics Defined on Teams},
 school       = {University of Helsinki},
)
@article(Peterson2001,
 author       = {Gary~L. Peterson and John~H. Reif and Salman Azhar},
 year         = {2001},
 title        = {Lower bounds for multiplayer noncooperative games of incomplete information},
 journal      = {Computers \& Mathematics with Applications},
 volume       = {41},
 number       = {7-8},
 pages        = {957--992},
 doi          = {10.1016/S0898-1221(00)00333-3},
)
@inproceedings(Stockmeyer:1973,
 author       = {Larry~J. Stockmeyer and Albert~R. Meyer},
 year         = {1973},
 title        = {Word Problems Requiring Exponential Time: Preliminary Report},
 booktitle    = {Proceedings of the 5th Annual {ACM} Symposium on Theory of Computing, April 30 - May 2, 1973, Austin, Texas, {USA}},
 pages        = {1--9},
 doi          = {10.1145/800125.804029},
)
@book(vaananen07,
 author       = {Jouko~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},
)
@inproceedings(virtema14,
 author       = {Jonni Virtema},
 year         = {2014},
 title        = {Complexity of validity for propositional dependence logics},
 booktitle    = {Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014.},
 pages        = {18--31},
 doi          = {10.4204/EPTCS.161.5},
)
@article(vaananen_modal_2008,
 author       = {V\IeC{\"a}\IeC{\"a}n\IeC{\"a}nen, Jouko},
 year         = {2008},
 title        = {Modal dependence logic},
 journal      = {New Perspectives on Games and Interaction},
 volume       = {4},
 pages        = {237},
)