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