Fellows, M.; Pfandler, A.; Rosamond, F.; Rümmele, S. The Parameterized Complexity of Abduction. AAAI 2021, 26, 743-749.