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]. 2024Mar.24 [cited 2024Oct.14];38(18):20794-802. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/30068