Arenas, M., Barceló, P., Bertossi, L., & Monet, M. (2021). The Tractability of SHAP-Score-Based Explanations for Classification over Deterministic and Decomposable Boolean Circuits. Proceedings of the AAAI Conference on Artificial Intelligence, 35(8), 6670-6678. https://doi.org/10.1609/aaai.v35i8.16825