Parameterized Complexity of Propositional Inclusion and Independence Logic
Y. Mahmood, J. Virtema, in: Logic, Language, Information, and Computation, Springer Nature Switzerland, Cham, 2023.