В. Куклін, “From mathematical logic to programming languages artificial intelligence”, CS&CS E-journal, no. 1, pp. 40-52, Apr. 2017.