Darwiche, A.; Ji, C. On the Computation of Necessary and Sufficient Explanations. AAAI 2022, 36, 5582-5591.