S. Preto. " Towards Logical Representations of Recurrent Neural Networks", in Anais do VI Workshop Brasileiro de Lógica, Maceió/AL, 2025, pp. 1-8, doi: https://doi.org/10.5753/wbl.2025.6543.