Sandro Preto. 2025. Towards Logical Representations of Recurrent Neural Networks. In Anais do VI Workshop Brasileiro de Lógica, julho 20, 2025, Maceió/AL, Brasil. SBC, Porto Alegre, Brasil, 1-8. DOI: https://doi.org/10.5753/wbl.2025.6543.