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