J. Soria, Z. Chihani, J. Girard-Satabin, A. Grastien, R. Xu-Darme, and D. Cancila, “Formal Abductive Latent Explanations for Prototype-Based Networks”, AAAI, vol. 40, no. 30, pp. 25590–25598, Mar. 2026.