G. Van den Broeck, A. Lykov, M. Schleich, and D. Suciu, “On the Tractability of SHAP Explanations”, AAAI, vol. 35, no. 7, pp. 6505-6513, May 2021.