X. Huang, Y. Izza, A. Ignatiev, M. Cooper, N. Asher, and J. Marques-Silva, “Tractable Explanations for d-DNNF Classifiers”, AAAI, vol. 36, no. 5, pp. 5719-5728, Jun. 2022.