Karau, L., 		Cardoso, R., 		Borges, A., & 		Alves, G.
2025 set 10.  Uma Proposta de Tradução de Autômatos Temporais para Agentes BDI. Anais do Workshop-Escola de Informática Teórica (WEIT). [Online] :