SIDOROV, Konstantin; CORREIA, Gonçalo Homem de Almeida; DE WEERDT, Mathijs; DEMIROVIĆ, Emir. Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths. Proceedings of the AAAI Conference on Artificial Intelligence, [S. l.], v. 38, n. 18, p. 20794–20802, 2024. DOI: 10.1609/aaai.v38i18.30068. Disponível em: https://ojs.aaai.org/index.php/AAAI/article/view/30068. Acesso em: 11 may. 2026.