Soria, J.; Chihani, Z.; Girard-Satabin, J.; Grastien, A.; Xu-Darme, R.; Cancila, D. Formal Abductive Latent Explanations for Prototype-Based Networks. AAAI 2026, 40, 25590-25598.