J. Kontinen, A. Meier, and Y. Mahmood, “A parameterized view on the complexity of dependence and independence logic,”10.1093/logcom/exac070__Journal of Logic and Computation, vol. 32, no. 8, pp. 1624–1644, 2022, doi:10.1093/logcom/exac070 .
LibreCat: /record/45847
DOI: 10.1093/logcom/exac070

Y. Mahmood, A. Meier, and J. Schmidt, “Parameterized complexity of abduction in Schaefer’s framework,”10.1093/logcom/exaa079__Journal of Logic and Computation, vol. 31, no. 1, pp. 266–296, 2020, doi:10.1093/logcom/exaa079 .
LibreCat: /record/45845
DOI: 10.1093/logcom/exaa079