Sidorov, K. (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), pp. 20794–20802. doi: 10.1609/aaai.v38i18.30068.