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