TY  - CONF

T1  - Complexity of Propositional Independence and Inclusion Logic

UR  - https://doi.org/10.1007/978-3-662-48057-1_21

PY  - 2015/08/11

AU  - Hannula M

AU  - Kontinen J

AU  - Virtema J

AU  - Vollmer H

ED  - 

DO  - DOI: 10.1007/978-3-662-48057-1_21

PB  - Springer Berlin Heidelberg

SN  - 9783662480564

SP  - 269

EP  - 280

Y2  - 2026/01/07

ER  -