Sidorov, Konstantin, Gonçalo Homem de Almeida Correia, Mathijs de Weerdt, and Emir Demirović. 2024. “Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths”. Proceedings of the AAAI Conference on Artificial Intelligence 38 (18):20794-802. https://doi.org/10.1609/aaai.v38i18.30068.