Marques-Silva, J., & Ignatiev, A. (2022). Delivering Trustworthy AI through Formal XAI. Proceedings of the AAAI Conference on Artificial Intelligence, 36(11), 12342-12350. https://doi.org/10.1609/aaai.v36i11.21499