СОЛОВЬЕВ, И. ИЗУЧЕНИЕ ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ НА ПРИМЕРЕ ЗАДАЧ ИСКУССТВЕННОГО ИНТЕЛЛЕКТА. Computer Tools in Education, n. 6, 18 Dec. 2013.