USING AND ANALYSIS OF FORMAL METHODS FOR EVALUATING THE RELEVANCE OF AUTOMATICALLY GENERATED SUMMARIES OF INFORMATIONAL TEXTS. Advanced Information Technology, [S. l.], n. 1(3), p. 31–46, 2024. DOI: 10.17721/AIT.2024.1.04. Disponível em: https://ait.knu.ua/article/view/3978. Acesso em: 27 feb. 2026.