Куклін, В. “From Mathematical Logic to Programming Languages Artificial Intelligence”. Computer Science and Cybersecurity, no. 1, Apr. 2017, pp. 40-52, https://periodicals.karazin.ua/cscs/article/view/8306.