A. Nadel and R. Wettenstein, “From Decision Trees to Boolean Logic: A Fast and Unified SHAP Algorithm”, AAAI, vol. 40, no. 29, pp. 24476–24485, Mar. 2026.