TY  - RPRT
TI  - Parameterised Complexity of Propositional Inclusion and Independence Logic
AU  - Yasir Mahmood
AU  - Jonni Virtema
PY  - 2023
UR  - https://arxiv.org/abs/2105.14887
ID  - 2105.14887
ER  -