Guedes, André, Matheus S. Feitosa, and Matheus T. Batista.
" Dijkstra Graphs: Short-Circuit Evaluation." <em>Proceedings of the 8th Workshop-School of Theoretical Computer Science,
Ponta Grossa/PR, 2025</em>. SBC, 2025,  
pp.202-207.