A parameterized view on the complexity of dependence and independence logic
J. Kontinen, A. Meier, Y. Mahmood, Journal of Logic and Computation 32 (2022) 1624–1644.
LibreCat: /record/45847
DOI: 10.1093/logcom/exac070

Parameterized complexity of abduction in Schaefer’s framework
Y. Mahmood, A. Meier, J. Schmidt, Journal of Logic and Computation 31 (2020) 266–296.
LibreCat: /record/45845
DOI: 10.1093/logcom/exaa079