Wu, M.; Li, X.; Wu, H.; Barrett, C. Efficiently Computing Compact Formal Explanations. AAAI 2026, 40, 35857-35866.