TY - JOUR T1 - Complexity of propositional logics in team semantic JO - ACM Transactions on Computational Logic PY - 2018/02/01 AU - Vollmer H AU - Hannula M AU - Kontinen J AU - Virtema J ED - DO - DOI: 10.1145/3157054 VL - 19 IS - 1 Y2 - 2024/12/22 ER -