Vavilenkova A. Застосування темпоральної логіки при побудові формальних моделей електронних текстів. Вісник НТУ "ХПІ" [інтернет]. 22, Вересень 2017 [цит. за 05, Травень 2024];(23(1245):84-8. доступний у: http://vestnik2079-5459.khpi.edu.ua/article/view/2413-4295.2017.23.13