1. Akshay, S., Arora, J., Chakraborty, S., Krishna, S.N., Raghunathan, D., Shah, S.: Knowledge compilation for Boolean functional synthesis. In: FMCAD. pp. 161–169. IEEE (2019)
2. Amarilli, A.: Provenance in databases and links to knowledge compilation. In: KOCOON workshop on knowledge compilation (2019), http://kocoon.gforge.inria.fr/slides/amarilli.pdf
3. Arenas, M., Bertossi, P.B.L., Monet, M.: The tractability of shap-score-based explanations over deterministic and decomposable Boolean circuits (2021)
4. Audemard, G., Koriche, F., Marquis, P.: On tractable XAI queries based on compiled representations. In: KR. pp. 838–849 (2020)
5. Besold, T.R., d’Avila Garcez, A., Bader, S., Bowman, H., Domingos, P., Hitzler, P., Kuehnberger, K.U., Lamb, L.C., Lowd, D., Lima, P.M.V., de Penning, L., Pinkas, G., Poon, H., Zaverucha, G.: Neural-symbolic learning and reasoning: A survey and interpretation (2017)