倾斜 4份文件引用(1994–2017) 软件作者： Chu，H.，Plaisted，D.A.，理论博物馆 相关软件： iProver；E-Darvin；达尔文… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
普赛克 5份文件引用(2013–2020) 软件作者： 圣菲省格拉汉·伦格兰德 相关软件： 伊莎贝尔；直觉；ILTP… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）