J. Marques-Silva and A. Ignatiev, “Delivering Trustworthy AI through Formal XAI”, AAAI, vol. 36, no. 11, pp. 12342-12350, Jun. 2022.