Sidorov, K.; Correia, G. H. de A.; de Weerdt, M.; Demirović, E. Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths. AAAI 2024, 38, 20794-20802.