Parameterized complexity of abduction in Schaefer’s framework
scientific article; zbMATH DE number 7471468