版次 87份文件引用(1984–2023) 软件作者： 皮埃尔·莱斯坎 相关软件： RRL；AProVE；蒂罗利安… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
CRSX公司 3份文件引用(2009–2011) 软件作者： 罗丝，K.H。；国际商用机器公司 相关软件： 自动化；流行标志；名义上的伊莎贝尔… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）