Guedes, André, 		Feitosa, Matheus, AND 		Batista, Matheus.
" Dijkstra Graphs: Short-Circuit Evaluation" <em>Proceedings of the Workshop-School on Theoretical Computer Science (WEIT)</em> [Online], (10 September 2025)