巴贝尔 72份文件引用(1988–2013) 软件作者: 马里奥·罗德里格斯-阿塔莱霍 相关软件: 核叶;玩具;咖喱… 主要字段: 一般性和全局性主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
内核-叶 31份文件引用(1989–2013) 软件作者: 埃利奥·乔瓦内蒂;乔治·列维;Corrado Moiso;帕拉米德斯猫 相关软件: 巴贝尔;玩具;咖喱… 主要字段: 计算机科学(68-XX)
OPTYap公司 14篇文献引用(2001–2022) 软件作者: 里卡多·罗查;费尔南多·席尔瓦;维托尔·桑托斯·科斯塔 相关软件: XSB;YAP-Prolog;YapOr… 主要字段: 计算机科学(68-XX)