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://ojs.aaai.org/index.php/AAAI/article/view/16825.