@article{c5a72704ce1240daabe50651be3823ec,
title = "Complexity of Propositional Logics in Team Semantic",
keywords = "cs.LO, cs.CC, math.LO, MODAL DEPENDENCE LOGIC, independence, Propositional logic, inclusion, model checking, INDEPENDENCE, FINITE, satisfiability, dependence, validity, INCLUSION LOGIC, team semantics, 111 Mathematics",
author = "Miika Hannula and Juha Kontinen and Jonni Virtema and Heribert Vollmer",
year = "2018",
month = feb,
doi = "10.1145/3157054",
language = "English",
volume = "19",
journal = "ACM Transactions on Computational Logic",
issn = "1529-3785",
publisher = "Association for Computing Machinery (ACM)",
number = "1",
}