André Guedes, Matheus Feitosa, and Matheus Batista. 2025.
 Dijkstra Graphs: Short-Circuit Evaluation. In <em>Proceedings of the 8th Workshop-School of Theoretical Computer Science</em>, September 10, 2025, Ponta Grossa/PR, Brasil. SBC, Porto Alegre, Brasil, 202-207.