@inproceedings{inproceedings, title = {{Complexity of propositional independence and inclusion logic}}, url = {{}}, year = {{2015}}, month = {{1}}, author = {{Hannula M and Kontinen J and Virtema J and Vollmer H}}, doi = {{10.1007/978-3-662-48057-1_21}}, isbn = {{9783662480564}}, volume = {{9234}}, journal = {{Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)}}, pages = {{269-280}}, note = {{Accessed on 2024/09/19}}}