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.