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