Куклін, Володимир. 2017. “From Mathematical Logic to Programming Languages Artificial Intelligence”. Computer Science and Cybersecurity, no. 1 (April), 40-52. https://periodicals.karazin.ua/cscs/article/view/8306.