Vavilenkova, Anastasia. «Застосування темпоральної логіки при побудові формальних моделей електронних текстів». Вісник Національного технічного університету «ХПІ». Серія: Нові рішення у сучасних технологіях, no. 23(1245) (Вересень 22, 2017): 84–88. дата звернення Травень 5, 2024. http://vestnik2079-5459.khpi.edu.ua/article/view/2413-4295.2017.23.13.