EQP公司 在13份文件中引用(1997–2022) 软件作者： 威廉·麦库恩 相关软件： 水獭；Waldmeister；SPASS… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
更窄的 11份文件引用(1985–1995) 软件作者： 皮埃尔·雷蒂（Pierre Rety）；克洛德·基什内尔；赫莱内·基什内尔；皮埃尔·莱斯坎 相关软件： PARLOG；版次：；内核LEAF… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；一般代数系统（08-XX）…
CRC 3号机组 9份文件引用(2010–2020) 软件作者： 弗朗西斯科·杜兰；何塞·梅塞格尔 相关软件： 莫德；MTT；第3章… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
GLINTS公司 4份文件引用(2019–2023) 软件作者： 玛丽亚·阿尔普特（María Alpunte）、安吉尔·昆卡-奥尔加（Angel Cuenca-Ortega）、圣地亚哥·埃斯科瓦尔（Santiago Escobar）、朱莉娅·萨皮尼亚（Julia Sapiña） 相关软件： 莫德；ABETS；MTT… 主要字段： 一般代数系统（08-XX）；计算机科学（68-XX）