Mahmood, Yasir, and Arne Meier. “Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic.”10.1007/978-3-030-39951-1_10__Lecture Notes in Computer Science, Springer International Publishing, 2020, doi:10.1007/978-3-030-39951-1_10.
LibreCat: /record/45848
DOI: 10.1007/978-3-030-39951-1_10