Vavilenkova, A. 2017. Застосування темпоральної логіки при побудові формальних моделей електронних текстів. Вісник Національного технічного університету «ХПІ». Серія: Нові рішення у сучасних технологіях. 23(1245) (Вер 2017), 84–88. DOI:https://doi.org/10.20998/2413-4295.2017.23.13.