Від математичної логіки до мов програмування штучного інтелекту. CS&CS E-journal. 2017;(1):40-52. дата звернення Жовтень 24, 2026. https://periodicals.karazin.ua/cscs/article/view/8306