Mahmood, Y., & Meier, A. (2022). Parameterised complexity of model checking and satisfiability in propositional dependence logic. Annals of Mathematics and Artificial Intelligence, 90(2-3), 271-296. https://doi.org/10.1007/s10472-021-09730-w
Chicago-referens (17:e uppl.)Mahmood, Yasir, och Arne Meier. "Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic." Annals of Mathematics and Artificial Intelligence 90, no. 2-3 (2022): 271-296. https://doi.org/10.1007/s10472-021-09730-w.
MLA-referens (9:e uppl.)Mahmood, Yasir, och Arne Meier. "Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic." Annals of Mathematics and Artificial Intelligence, vol. 90, no. 2-3, 2022, pp. 271-296, https://doi.org/10.1007/s10472-021-09730-w.
