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/09/19

ER  -