Barcelos, K. A.; Isatto, E. L. Uso Da Inteligência Artifical Na elaboração E interpretação De Requisitos Em Linguagem Natural Para lógica Formal. SBTIC 2025, 5.