APA (7th ed.) Citation

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 Style (17th ed.) Citation

Mahmood, Yasir, and 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 (9th ed.) Citation

Mahmood, Yasir, and 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.