Guedes, A., 		Feitosa, M., & 		Batista, M.
(2025).
 Dijkstra Graphs: Short-Circuit Evaluation.
In <em>Proceedings of the 8th Workshop-School of Theoretical Computer Science</em>, (pp. 202-207). Porto Alegre: SBC.