K. A. Barcelos e E. L. Isatto, “Uso da Inteligência Artifical na elaboração e interpretação de requisitos em linguagem natural para lógica formal”, SBTIC, vol. 5, nº 00, set. 2025.