Karau, Lucas, Rafael C. Cardoso, André P. Borges, and Gleifer V. Alves.
" Uma Proposta de Tradução de Autômatos Temporais para Agentes BDI." <em>Anais do VIII Workshop-Escola de Informática Teórica,
Ponta Grossa/PR, 2025</em>. SBC, 2025,  
pp.208-213.