常规集合 18篇文献引用(2011–2023) 软件作者： 亚历山大·克劳斯；托比亚斯·尼普科 相关软件： 存档正式证据；Isabelle/HOL；Coq… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
注册Stab 1份文件引用(2010) 软件作者： Vincent Aravantinos；卡费拉、里卡多；尼古拉斯·佩尔蒂埃 相关软件： TPTP；LOUI；VAMPIRE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）