GHC公司 36篇文献引用(1986–2014) 软件作者： Kazunori上田 相关软件： PARLOG；基马；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
帕洛 37篇文献引用(1984–1993) 软件作者： 基思·克拉克；史蒂夫·格雷戈里 相关软件： GHC；更窄的；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
OPTYap公司 在14份文件中引用(2001–2022) 软件作者： 里卡多·罗查；费尔南多·席尔瓦；维托尔·桑托斯·科斯塔 相关软件： XSB；YAP-Prolog；YapOr… 主要字段： 计算机科学（68-XX）
MGTP公司 6篇文献引用（1995年至2013年） 软件作者： 长谷川龙子；藤田，广岛；宫崎骏小村；Shirai、Yasuyuki 相关软件： 萨奇莫；TPTP；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
霍恩洛格 6篇文献引用(1987–1993) 软件作者： 让·盖利埃（Jean H.Gallier）。；斯坦·拉茨 相关软件： 勒图尔 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
哈斯普林 2份文件引用(2009–2017) 软件作者： Lee，Junkyu；毕、余；Gregory D.Peterson。；罗伯特·J·辛德。；罗伯特·哈里森。 相关软件： SPRNG；测试U01；RngSteam… 主要字段： 数值分析（65-XX）
Yedalog公司 2份文件引用(2017–2022) 软件作者： Chin，B.、von Dincklage，D.、Ercegovac，V.、Hawkins，P.、Miller，M.S.、Och，F.J.、Olston，C.、Pereira，F。 相关软件： aspeed；LPaaS；四月… 主要字段： 计算机科学（68-XX）
ProPPR公司 1份文件引用(2020) 软件作者： 威廉·杨旺；凯瑟琳·马扎蒂斯；威廉·科恩 相关软件： ProbLog；TensorLog；亚当… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
VisAll公司 1份文件引用(1998) 软件作者： 丰塞卡，努诺；桑托斯·科斯塔（Santos Costa），V’{i}tor；德卡斯特罗·杜特拉 相关软件： – 主要字段： 计算机科学（68-XX）