GUEDES, André L. P.; 						FEITOSA, Matheus S.; 						BATISTA, Matheus T..
 Dijkstra Graphs: Short-Circuit Evaluation. <em>In</em>: WORKSHOP-SCHOOL ON THEORETICAL COMPUTER SCIENCE (WEIT), 8.	, 2025, Ponta Grossa/PR.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2025
.
 p. 202-207.