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