图形日志 34份文件引用(1990–2022) 软件作者： 同意书，M。；门德尔松 相关软件： XPath；SPARQL；洛雷尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；结合环与代数（16-XX）…
埃林戈 4份文件引用(2020–2022) 软件作者： 佩德罗·卡巴拉尔；豪尔赫·范丁诺；哈维尔·加里亚（Javier Garea）；哈维尔·罗梅罗；托尔斯滕·绍布 相关软件： 克林戈；selp；htd… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）