Sidorov, Konstantin, Gonçalo Homem de Almeida Correia, Mathijs de Weerdt, and Emir Demirović. “Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths”. Proceedings of the AAAI Conference on Artificial Intelligence 38, no. 18 (March 24, 2024): 20794-20802. Accessed November 18, 2024. https://ojs.aaai.org/index.php/AAAI/article/view/30068.