Nadel, A.; Wettenstein, R. From Decision Trees to Boolean Logic: A Fast and Unified SHAP Algorithm. AAAI 2026, 40, 24476-24485.