M. Wu, X. Li, H. Wu, and C. Barrett, “Efficiently Computing Compact Formal Explanations”, AAAI, vol. 40, no. 42, pp. 35857–35866, Mar. 2026.