GHC公司 36篇文献引用(1986–2014) 软件作者： Kazunori上田 相关软件： PARLOG；基马；哈斯克尔… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
OPTYap公司 14篇文献引用(2001–2022) 软件作者： 里卡多·罗查；费尔南多·席尔瓦；维托尔·桑托斯·科斯塔 相关软件： XSB；YAP-Prolog；YapOr… 主要字段： 计算机科学（68-XX）