斯莫德尔斯 231篇文献引用(1999–2022) 软件作者： 伊尔卡·尼梅尔；西蒙斯，P；Syrjänen，汤米 相关软件： 亚萨特；C模型；XSB… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
WASP公司 63份文件引用(2014–2023) 软件作者： 阿尔维亚诺，马里奥；多达罗、卡明；沃尔夫冈·费伯（Wolfgang Faber）；尼古拉·利昂内（Nicola Leone）；弗朗西斯科·里卡 相关软件： 克林戈；卡环；格林戈… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
GNT公司 20篇文献引用（1997年至2013年） 软件作者： 汤米·詹胡宁；伊尔卡·尼梅尔；帕特里克·西蒙斯；托米·詹胡宁 相关软件： 亚萨特；平滑；模型… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
CSP防护 17篇文献引用(2005–2022) 软件作者： Isobe，Yoshinao；马库斯·罗根巴赫 相关软件： PVS；Isabelle/HOL；FDR2… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
f2低压 10篇文献引用(2011–2023) 软件作者： Lee，J.、Palla，R。 相关软件： CCalc；Cplus2ASP；Coala… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ASPeRiX公司 4份文件引用(2009–2016) 软件作者： Claire Lefèvre、Pascal Nicolas、Stéphane Ngoma 相关软件： 亚萨特；格林戈；OMiGA… 主要字段： 计算机科学（68-XX）
SMProb日志 2份文件引用(2022) 软件作者： Pietro Totis、Angelika Kimmig、Luc De Raedt 相关软件： 克林戈；探测日志；DeepProbLog… 主要字段： 计算机科学（68-XX）