1. Arora, S., Barak, B.: Computational Complexity. Cambridge University Press, Cambridge (2009)
2. Arenas, M., Bertossi, L., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proceedings of ACM PODS 1999, pp. 68–79 (1999)
3. Arenas, M., Barcelo, P., Bertossi, L., Monet, M.: The tractability of SHAP-scores over deterministic and decomposable boolean circuits. In: Proceedings of AAAI (2021)
4. Arenas, M., Barcelo, P., Bertossi, L., Monet, M.: On the complexity of SHAP-score-based explanations: tractability via knowledge compilation and non-approximability results. J. Mach. Learn. Res. 24(63), 1–58 (2023)
5. Bertossi, L.: Database repairing and consistent query answering. In: Synthesis Lectures in Data Management. Morgan & Claypool (2011)