Marques-Silva, J.; Ignatiev, A. Delivering Trustworthy AI through Formal XAI. AAAI 2022, 36, 12342-12350.