NoMoRe公司 22篇文献引用(2001–2012) 软件作者： 愤怒，克里斯蒂安；Kathrin Konczak；托马斯·林奇 相关软件： 亚萨特；C模型；平滑… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）
诺莫尔++ 6篇文献引用(2005–2012) 软件作者： 愤怒，克里斯蒂安；马丁·格布瑟（Martin Gebser）；托马斯·林奇（Thomas Linke）；安德烈·诺伊曼；托尔斯滕·绍布 相关软件： 亚萨特；C模型；NoMoRe… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
芦笋 3份文件引用(2005–2012) 软件作者： 基督教愤怒；托尔斯滕·绍布（Torsten Schaub）；米罗斯瓦·特鲁兹琴斯基 相关软件： 亚萨特；TPTP；Runsolver… 主要字段： 计算机科学（68-XX）