Анисимов, А. В.     Системы Theorema и автоматизация дедукции: сравнительный анализ [Текст] / А.В. Анисимов, Т. Джебелян, А.В. Лялецкий, Н. Попов // Управляющие системы и машины : Международный научный журнал. — К. : "Академпериодика", 2011. — №4. — с.59-63.