汉普 20篇文献引用(2012–2023) 软件作者： Ganesh，V.、Kieżun，A.、Artzi，S.、Guo，P.J.、Hooimeijer，P.、Ernst，M 相关软件： 陌生人；诺恩；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
LiQuor公司 19份文件引用（2007年至2019年） 软件作者： – 相关软件： 棱镜；MRMC；拉比尼泽… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
诺恩 16篇文献引用(2017–2024) 软件作者： Abdulla，P.A.，Atig，M.F.，Chen，Y.-F.，Holík，L.，Rezine，A.，Rümmer，P.，Stenman，J。 相关软件： Z3str3；CVC4；汉普… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
第3章 14篇文献引用(2015–2024) 软件作者： Trinh MT、Chu DH、Jaffar J 相关软件： z3；陌生人；Z3字符串… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
coFJ公司 8份文件引用(2015–2023) 软件作者： D.安科纳、E.祖卡。 相关软件： CoCaml公司；羽量级Java；CoALP；…（C）… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
LNT2LOTOS公司 7份文件引用（2012年至2022年） 软件作者： David Champelovier、Xavier Clerc、Hubert Garavel、Yves Guerte、Frédéric Lang、Christine McKinty、Vincent Powazny、Wendelin Serwe、Gideon Smeding 相关软件： CADP；自旋蛋白；Exp.打开… 主要字段： 计算机科学（68-XX）