A. Darwiche and C. Ji, “On the Computation of Necessary and Sufficient Explanations”, AAAI, vol. 36, no. 5, pp. 5582-5591, Jun. 2022.