ETPS公司 162篇文献引用(1986–2022) 软件作者： 彼得·安德鲁斯（Peter Andrews）、马修·毕晓普（Matthew Bishop）、查德·布朗（Chad E.Brown）、苏尼尔·伊萨尔（Sunil Issar）、丹·内史密斯（Dan Nesmith）、弗兰克·普芬宁（Frank Pfenning 相关软件： TPS；Isabelle/HOL；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
HYPROLOG公司 15篇文献引用(2005–2022) 软件作者： 克里斯蒂安森（Christiansen），亨宁（Henning）；维罗妮卡·达尔 相关软件： 平滑；SCIFF；棱镜… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
CDOL公司 4份文件引用(1997–2002) 软件作者： 苏珊·厄本（Susan D.Urban）。；卡拉迪姆（Anton P.Karadimce）。；苏珊娜·戴特里希（Suzanne W.Dietrich）。；Abdelatif、Taoufik Ben；Chan，Hon Wai Rene先生 相关软件： —— 主要字段： 计算机科学（68-XX）
SNARK（扫描） 3份文件引用(2009–2015) 软件作者： Stickel，M。 相关软件： Waldmeister；E定理证明器；生动… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；相对论和引力理论（83-XX）
XcelLog公司 3份文件引用(2006–2014) 软件作者： 罗马克里希南，C.R。；拉马克里希南，I.V。；大卫·沃伦。 相关软件： XSB；YAP-Prolog；OPTYap… 主要字段： 计算机科学（68-XX）
杰克洛伊 1份文件引用(2012) 软件作者： Aboubakr Achraf El Ghazi、Mattias Ulbrich、Christoph Gladisch、Shmuel Tyszberowicz、Mana Taghdiri 相关软件： 雅典娜；凯洛伊；KeY… 主要字段： 计算机科学（68-XX）
逻辑QL 2份文件引用（2016年至2017年） 软件作者： Terry Halpin，Spencer Rugaber，斯潘塞·鲁加伯 相关软件： 数据日志；DeepDive；风险投资… 主要字段： 计算机科学（68-XX）