Sidorov K, Correia GH de A, de Weerdt M, Demirović E. Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths. AAAI [Internet]. 2024 Mar. 24 [cited 2026 May 11];38(18):20794-802. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/30068