APA (7th ed.) Citation

Mahmood, Y., Meier, A., Goos, G., Hartmanis, J., Bertino, E., Gao, W., . . . Kontinen, J. (2020). Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic. Foundations of Information and Knowledge Systems : 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings, 12012, 157-174. https://doi.org/10.1007/978-3-030-39951-1_10

Chicago Style (17th ed.) Citation

Mahmood, Yasir, et al. "Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic." Foundations of Information and Knowledge Systems : 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings 12012 (2020): 157-174. https://doi.org/10.1007/978-3-030-39951-1_10.

MLA (9th ed.) Citation

Mahmood, Yasir, et al. "Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic." Foundations of Information and Knowledge Systems : 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings, vol. 12012, 2020, pp. 157-174, https://doi.org/10.1007/978-3-030-39951-1_10.