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