Arenas, Marcelo, Pablo Barceló, Leopoldo Bertossi, and Mikaël Monet. 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-78. https://doi.org/10.1609/aaai.v35i8.16825.