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