狮子座III 21篇文献引用(2015–2023) 软件作者： 亚历山大·斯蒂恩（Alexander Steen）；维斯涅夫斯基，马克斯；克里斯托夫·本穆勒 相关软件： 沙达拉；TPTP；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
ILLTP公司 3份文件引用(2019–2021) 软件作者： 卡洛斯·奥拉特（Carlos Olarte）；瓦莱里亚·德·佩瓦；伊莱恩·皮门特尔（Elaine Pimentel）；吉赛尔·赖斯 相关软件： 洛利；z3；DeepProbeLog… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
GLEFatinf公司 2份文件引用(1994–1998) 软件作者： R.Caferra；M.赫敏特 相关软件： TABLEAUX公司；克里普克；数字（amp；N）… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
次一致性 1份文件引用(2018) 软件作者： 安德斯·施利奇特克鲁尔（Anders Schlichtkrull）；约根·维拉德森 相关软件： github；格栅；FOL_Harrison… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）