Ó, Matheus do, and Hugo Musso Gualandi.
" Two Induction-Free Constructions For Finite Automata Determinization." <em>Anais do XXX Simpósio Brasileiro de Linguagens de Programação,
São Paulo/SP, 2026</em>. SBC, 2026,  
pp.173-177.