“USING AND ANALYSIS OF FORMAL METHODS FOR EVALUATING THE RELEVANCE OF AUTOMATICALLY GENERATED SUMMARIES OF INFORMATIONAL TEXTS”, СІТ, no. 1(3), pp. 31–46, Dec. 2024, doi: 10.17721/AIT.2024.1.04.