L. Karau, R. Cardoso, A. Borges, and G. Alves.
" Uma Proposta de Tradução de Autômatos Temporais para Agentes BDI", in <em>Anais do VIII Workshop-Escola de Informática Teórica</em>, Ponta Grossa/PR, 2025, pp. 208-213, doi: <a href="https://doi.org/10.5753/weit.2025.40461">https://doi.org/10.5753/weit.2025.40461</a>.