Применение метода абстракций для поиска логического вывода в системах искусственного интеллекта - Братчиков (Труды СПИИРАН, 2002)