Leal, Gustavo, Hebert C. Silva, Humberto J. Longo, and Les R. Foulds.
" Valid Paths, a short synthesis." <em>Anais do IX Encontro de Teoria da Computação,
Brasília/DF, 2024</em>. SBC, 2024,  
pp.72-75.