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