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