Arenas, M., Barceló, P., Bertossi, L. and 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), pp. 6670-6678. doi: 10.1609/aaai.v35i8.16825.