Братчиков. Применение метода абстракций для поиска логического вывода в системах искусственного интеллекта. Труды СПИИРАН 2, no. 1 (апрель 1, 2002): 253-262. просмотрено апрель 25, 2024. http://proceedings.spiiras.nw.ru/index.php/sp/article/view/1117.