G. Leal, H. Silva, H. Longo, and L. Foulds. " Valid Paths, a short synthesis", in Anais do IX Encontro de Teoria da Computação, Brasília/DF, 2024, pp. 72-75, doi: https://doi.org/10.5753/etc.2024.2539.