(1)
Arenas, M.; Barceló, P.; Bertossi, L.; Monet, M. The Tractability of SHAP-Score-Based Explanations for Classification over Deterministic and Decomposable Boolean Circuits. AAAI 2021, 35, 6670-6678.