CSP防护 17篇文献引用(2005–2022) 软件作者： 吉野县Isobe；马库斯·罗根巴赫 相关软件： PVS；Isabelle/HOL；FDR2… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
Speedith公司 9份文件引用(2012–2019) 软件作者： Urbas，M.、Jamnik，M.，Stapleton，G.、Flower，J。 相关软件： 超防；伊莎贝尔；迪亚贝利… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；凸和离散几何（52-XX）…
AgsyHOL公司 4份文件引用(2013–2015) 软件作者： F.林布拉德。 相关软件： TPTP；Nitpick公司；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）