БРАТЧИКОВ,. Применение метода абстракций для поиска логического вывода в системах искусственного интеллекта. Труды СПИИРАН, v. 2, n. 1, p. 253-262, 1 abr. 2002.