Darwiche, A., & Ji, C. (2022). On the Computation of Necessary and Sufficient Explanations. Proceedings of the AAAI Conference on Artificial Intelligence, 36(5), 5582-5591. https://doi.org/10.1609/aaai.v36i5.20498