TY  - CONF

T1  - Complexity of propositional independence and inclusion logic

JO  - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

PY  - 2015/01/01

AU  - Hannula M

AU  - Kontinen J

AU  - Virtema J

AU  - Vollmer H

ED  - 

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

SN  - 9783662480564

VL  - 9234

SP  - 269

EP  - 280

Y2  - 2024/12/23

ER  -