Preto, Sandro.
" Towards Logical Representations of Recurrent Neural Networks." <em>Anais do VI Workshop Brasileiro de Lógica,
Maceió/AL, 2025</em>. SBC, 2025,  
pp.1-8.