Wu, Min, et al. “Efficiently Computing Compact Formal Explanations”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 40, no. 42, Mar. 2026, pp. 35857-66, doi:10.1609/aaai.v40i42.40900.