Sidorov, K., Correia, G. H. de A., de Weerdt, M., & Demirović, E. (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–20802. https://doi.org/10.1609/aaai.v38i18.30068