Preto, Sandro. " Towards Logical Representations of Recurrent Neural Networks" Anais do Workshop Brasileiro de Lógica (WBL) [Online], (20 julho 2025)