欧兹 110篇文献引用(1994–2023) 软件作者： Henz，M.、Smolka，G.和Würtz，J。 相关软件： 炸薯条；莫扎特；克莱尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
YAP-序言 48篇文献引用(1999–2022) 软件作者： 维托尔·桑托斯·科斯塔（Vítor Santos Costa）、路易斯·达马斯（Luís Damas）、罗杰里奥·里斯（Rogério Reis）、鲁本·阿泽夫多（Rüben Azevedo） 相关软件： XSB；ProbLog；SWI-预测… 主要字段： 一般性和全局性主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）…
皮塔 24篇文献引用(2010–2023) 软件作者： 法布里齐奥·里古齐（Fabrizio Riguzzi）；Swift，Terrance公司 相关软件： 探测日志；CP逻辑；棱镜… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
B-序言 18篇文献引用(2001–2022) 软件作者： Afany软件 相关软件： XSB；YAP-Prolog；SICStus… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
莫扎特 在15份文件中引用(1999–2018) 软件作者： 彼得·范罗伊；塞夫·哈里迪 相关软件： 奥兹；CPLEX；芯片… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
OPTYap公司 14篇文献引用(2001–2022) 软件作者： 里卡多·罗查；费尔南多·席尔瓦；维托尔·桑托斯·科斯塔 相关软件： XSB；YAP-Prolog；雅宝… 主要字段： 计算机科学（68-XX）
迷你凯恩人 9份文件引用(2008–2022) 软件作者： Daniel P.Friedman、William E.Byrd、Oleg Kiselyov 相关软件： 卡恩；自动化；汞… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
CAT公司 引用于7份文件(1999–2019) 软件作者： Bart Demoen；康斯坦蒂诺斯·萨戈纳斯 相关软件： XSB；YAP-Prolog；YapTab… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）