K. Sidorov, G. H. de A. Correia, M. de Weerdt, and E. Demirović, “Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths”, AAAI, vol. 38, no. 18, pp. 20794–20802, Mar. 2024.