1. Братчиков Применение метода абстракций для поиска логического вывода в системах искусственного интеллекта // Труды СПИИРАН. 2002. № 1 (2). C. 253-262.