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