Ó, M., & 		Gualandi, H.
(2026).
 Two Induction-Free Constructions For Finite Automata Determinization.
In <em>Anais do XXX Simpósio Brasileiro de Linguagens de Programação</em>, (pp. 173-177). Porto Alegre: SBC.
doi:10.5753/sblp.2026.28537