Arenas, Marcelo, Pablo Barceló, Leopoldo Bertossi, and Mikaël Monet. “The Tractability of SHAP-Score-Based Explanations for Classification over Deterministic and Decomposable Boolean Circuits”. Proceedings of the AAAI Conference on Artificial Intelligence 35, no. 8 (May 18, 2021): 6670-6678. Accessed July 6, 2022. https://ojs.aaai.org/index.php/AAAI/article/view/16825.