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