XSB公司 139篇文献引用(1995–2022) 软件作者： Sagonas，K.F.、Swift，T.、Warren，D.S.、Freire，J.、Rao，P。 相关软件： YAP-Prolog；平滑；B-Prolog… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
违约 32篇文献引用(2011–2022) 软件作者： 亚历山大·唐泽 相关软件： S-TaLiRo；流量*；SpaceEx… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CoALP公司 25篇文献引用(2011–2023) 软件作者： 叶卡捷琳娜·科门丹斯卡娅；权力，约翰；马丁·施密特 相关软件： CoCaml公司；coFJ；ProbLog… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；范畴理论；同调代数（18-XX）…
ArgoCLP公司 14篇文献引用(2011–2023) 软件作者： 萨那斯托亚诺维奇；巴甫洛维奇，韦斯纳；贾尼契奇，普雷德拉格 相关软件： Coq；GCLC；TPTP… 主要字段： 数理逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）…
角砾岩 1份文件引用(2020) 软件作者： Sacharny，D。；亨德森，T。；西蒙斯，R。；Mitiche，A.等人。；Welker，T。；X·范。 相关软件： GenPSAT；博客 主要字段： 计算机科学（68-XX）
次一致性 1份文件引用（2018年） 软件作者： 安德斯·施利奇特克鲁尔（Anders Schlichtkrull）；约根·维拉德森 相关软件： github；格栅；FOL_Harrison… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
SMBioNet公司 1份文件引用(2021) 软件作者： Khalis，Z.、Comet，J.P.、Richard，A.、Bernot，G。 相关软件： TotemBioNet；NuSMV公司 主要字段： 生物学和其他自然科学（92-XX）