«Від математичної логіки до мов програмування штучного інтелекту» (2017) Комп’ютерні науки та кібербезпека, (1), с. 40–52. доступний у: https://periodicals.karazin.ua/cscs/article/view/8306 (дата звернення: 24 Жовтень 2026).