Братчиков, 2002. Применение метода абстракций для поиска логического вывода в системах искусственного интеллекта. Труды СПИИРАН. 2, 1 (апр. 2002), 253-262. DOI:https://doi.org/10.15622/sp.1.18.