Gorji, N.; Rubin, S. Sufficient Reasons for Classifier Decisions in the Presence of Domain Constraints. AAAI 2022, 36, 5660-5667.