M. Arenas, P. Barceló, L. Bertossi, and M. Monet, “The Tractability of SHAP-Score-Based Explanations for Classification over Deterministic and Decomposable Boolean Circuits”, AAAI, vol. 35, no. 8, pp. 6670-6678, May 2021.