КУКЛІН, В. Від математичної логіки до мов програмування штучного інтелекту. Комп’ютерні науки та кібербезпека, n. 1, p. 40-52, 24 Квіт 2017.