Parameterized Complexity of Propositional Inclusion and Independence Logic.

Yasir Mahmood, Jonni Virtema

Browse the full WoLLIC paper archive.