Братчиков,. Применение метода абстракций для поиска логического вывода в системах искусственного интеллекта. ТС 2002, 2, 253-262.