Y. Mahmood and A. Meier, “Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic,”10.1007/978-3-030-39951-1_10__2020, doi:10.1007/978-3-030-39951-1_10 .
LibreCat: /record/45848
DOI: 10.1007/978-3-030-39951-1_10