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