斯莫德尔斯 231篇文献引用(1999–2022) 软件作者： 伊尔卡·尼梅尔；西蒙斯，P；托米·西尔贾宁 相关软件： 亚萨特；C模型；XSB… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
Potassco公司 82份文件引用(2008–2023) 软件作者： 马丁·格布瑟（Martin Gebser）；本杰明·考夫曼；罗兰·卡明斯基（Roland Kaminski）；马克斯·奥斯特罗斯基；托尔斯滕·绍布（Torsten Schaub）；马吕斯·施奈德 相关软件： 克林戈；格林戈；扣… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
DLV2型 26篇文献引用(2017–2022) 软件作者： 阿尔维亚诺，马里奥；弗朗西斯科·卡利默里；多达罗、卡明；福斯科，戴维德；尼古拉·利昂内（Nicola Leone）；西蒙娜·佩里（Simona Perri）；弗朗西斯科·里卡；维尔特里，皮尔弗兰西斯科；Jessica Zangari 相关软件： 克林戈；WASP；扣… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
LARS公司 23篇文献引用(2016–2022) 软件作者： Beck，H.、Dao-Tran，M.、Eiter，T.、Fink，M。 相关软件： 克林戈；o克林戈；SPARQL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
GASP公司 18篇文献引用(2008–2022) 软件作者： 亚历山德罗·达尔·帕鲁；阿戈斯蒂诺·多维尔；恩里科·蓬泰利（Enrico Pontelli）；吉安弗兰科·罗西 相关软件： 克林戈；格林戈；WASP… 主要字段： 计算机科学（68-XX）
中国科学院科学院 18篇文献引用(2018–2023) 软件作者： 华金·阿里亚斯（Joaquin Arias）、曼努埃尔·卡罗（Manuel Carro）、埃尔默·萨拉查（Elmer Salazar）、凯尔·马普尔（Kyle Marple）、戈帕尔·古普塔（Gopal Gupta） 相关软件： 克林戈；ezcsp；GitHub… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
DLV-EX公司 16篇文献引用(2007–2021) 软件作者： 弗朗西斯科·卡利默里；苏珊娜·科萨；乔瓦姆巴蒂斯塔·伊安尼 相关软件： 克林孔；克林戈；接通DLV… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
ezcsp公司 13份文件引用（2009年至2022年） 软件作者： 马尔切洛·巴尔杜奇尼（Marcello Balduccini）；尤利亚·利勒 相关软件： 克林孔；克林戈；ASP… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
阿司匹林 12份文件引用(2012–2022) 软件作者： 胡斯，霍尔格；罗兰·卡明斯基（Roland Kaminski）；马吕斯·林道尔；托尔斯滕·绍布 相关软件： 萨齐拉；阳光；SMAC… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
普拉萨普 9份文件引用(2012–2021) 软件作者： 马丁·格布瑟（Martin Gebser）；罗兰·卡明斯基（Roland Kaminski）；穆拉特·奈赫特（Murat Knecht）；托尔斯滕·绍布 相关软件： PDDL；克林戈；ROSoClingo… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
海狮 7份文件引用(2012–2019) 软件作者： Johannes Oetsch、Jörg Pührer、Hans Tompits 相关软件： 天基信息平台；卡拉；APE… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；数学教育（97-XX）
DLV综合体 3份文件引用(2008–2009) 软件作者： 弗朗西斯科·卡利默里；苏珊娜·科萨；Giovambattista Ianni；尼古拉·利昂 相关软件： DLV-EX；OntoDLV；CiaoPP… 主要字段： 计算机科学（68-XX）
xclingo公司 5份文件引用(2020–2023) 软件作者： 佩德罗·卡巴拉尔；豪尔赫·范丁诺；穆尼兹，布雷斯 相关软件： 中国科学院科学院；克林戈；XSB… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
民主党人 4份文件引用(2015–2020) 软件作者： 格恩瑟·查瓦特；安德烈亚斯·普范德勒 相关软件： Isabelle/HOL；Gecode公司；PSPLIB… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
埃林戈 4份文件引用(2020–2022) 软件作者： 佩德罗·卡巴拉尔；豪尔赫·范丁诺；哈维尔·加里亚（Javier Garea）；哈维尔·罗梅罗；托尔斯滕·绍布 相关软件： 克林戈；selp；htd… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
视频 2份文件引用(2016–2019) 软件作者： Oetsch，Johannes；普尔，约格；塞德尔，玛蒂娜；汉斯·托姆皮茨（Hans Tompits）；帕特里克·兹维克 相关软件： 平滑；APE；辐条… 主要字段： 计算机科学（68-XX）
Equibel公司 2份文件引用(2015–2016) 软件作者： 保罗·维科尔；詹姆斯·德尔格兰德（James Delgrade）；托尔斯滕·绍布 相关软件： 克林戈 主要字段： 计算机科学（68-XX）
在线SPARC 2份文件引用(2019) 软件作者： Elias Marcopoulos；张元林 相关软件： 海狮；卡拉；天基信息平台… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；数学教育（97-XX）
OOASP（OOASP） 1份文件引用(2016) 软件作者： 安德烈亚斯·福克纳；Anna Ryabokon；戈特弗里德·申纳；克斯特安提恩·什切科提金 相关软件： 格林戈；MiniSat；对夹2… 主要字段： 计算机科学（68-XX）
SkuARE公司 2份文件引用(2020–2022) 软件作者： 巴苏，金加尔；萨拉特·钱德拉（Sarat Chandra），瓦拉纳西（Varanasi）；法哈德·沙克林（Farhad Shakerin）；古普塔，戈帕尔 相关软件： 小队；水；ASP… 主要字段： 计算机科学（68-XX）
ASPDoc公司 1份文件引用(2012) 软件作者： 玛丽娜·德沃斯；基萨，多阿·吉泽姆；Oetsch，Johannes；普尔，约格；汉斯·托姆皮茨 相关软件： 平滑；ASP单元；拉娜… 主要字段： 计算机科学（68-XX）
ASP单元 1份文件引用(2012) 软件作者： 玛丽娜·德沃斯；基萨，多阿·吉泽姆；Oetsch，Johannes；普尔，约格；汉斯·托姆皮茨 相关软件： 平滑；ASPDoc；拉娜… 主要字段： 计算机科学（68-XX）
拉娜 1份文件引用(2012) 软件作者： 玛丽娜·德沃斯；Kisa、Doğa Gizem；Oetsch，Johannes；普尔，约格；汉斯·托姆皮茨 相关软件： 平滑；ASP单元；ASPDoc… 主要字段： 计算机科学（68-XX）
xASP（xASP） 1份文件引用(2022) 软件作者： Trieu、Ly-Ly；Tran Cao Son；马塞洛·巴尔杜奇尼 相关软件： sCASP；DiscASP；xclingo公司 主要字段： 计算机科学（68-XX）