Z3str3型 19份文件引用(2018–2023) 软件作者： Berzish，M.、Ganesh，V.、Zheng，Y。 相关软件： CVC4；z3；诺恩… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
诺恩 16篇文献引用（2017年至2024年） 软件作者： Abdulla，P.A.，Atig，M.F.，Chen，Y.-F.，Holík，L.，Rezine，A.，Rümmer，P.，Stenman，J。 相关软件： CVC4；Z3str3；S3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
第3页 14篇文献引用(2015–2024) 软件作者： Trinh MT、Chu DH、Jaffar J 相关软件： z3；陌生人；Z3-str… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
Z3str2型 8份文件引用(2017–2023) 软件作者： 郑云辉；维杰·加内什；萨努语Subramanian；特里普，奥马尔；墨菲·贝尔齐什；朱利安·杜比（Julian Dolby）；张湘玉 相关软件： 陌生人；汉普；诺恩… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Z3str4号机组 4份文件引用(2022–2023) 软件作者： 费德里科·莫拉；墨菲·贝齐什；米加·库尔琴斯基；德克·诺沃特卡；维杰·加内什 相关软件： CVC4；TRAU；Z3str3… 主要字段： 计算机科学（68-XX）
CertiStr证书 3份文件引用(2022–2023) 软件作者： Kan双龙、Anthony W.Lin、Philipp Rümmer、Micha Schrader 相关软件： CVC4；Z3str4；SMT-LIB… 主要字段： 计算机科学（68-XX）