GHC公司 39篇文献引用(1986–2023) 软件作者： Kazunori上田 相关软件： PARLOG；SICStus公司；Kima… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
帕塞农 6篇文献引用(1989–2004) 软件作者： Bose，Soumitra；埃德蒙·克拉克（Edmund M.Clarke）。；Long，David E。；斯皮罗·米查洛夫 相关软件： 气象；SETHEO公司；巴黎… 主要字段： 计算机科学（68-XX）