Preto, S.
(2025).
 Towards Logical Representations of Recurrent Neural Networks.
In <em>Anais do VI Workshop Brasileiro de Lógica</em>, (pp. 1-8). Porto Alegre: SBC.
doi:10.5753/wbl.2025.6543