Arenas, M., P. Barceló, L. Bertossi, and M. Monet. “The Tractability of SHAP-Score-Based Explanations for Classification over Deterministic and Decomposable Boolean Circuits”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 8, May 2021, pp. 6670-8, doi:10.1609/aaai.v35i8.16825.