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