法律规则ML 5份文件引用(2017–2020) 软件作者： Lam、Ho-Pun；穆斯塔法·哈什米；塔拉·阿桑；圭多总督府；莫妮卡·帕尔米拉尼；阿德里安·帕施克（Adrian Paschke）；亚当·怀纳 相关软件： github；精益；逻辑键… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
LogiKEy公司 5份文件引用(2020–2022) 软件作者： Christoph Benzmüller、Xavier Parent、Leendert van der Torre 相关软件： Isabelle/HOL；Nitpick公司；拓扑语义… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PROLEG公司 4份文件引用(2012–2021) 软件作者： 佐藤（Satoh，K.）、朝井（Asai，K。 相关软件： SCIFF；Potassco；天基信息平台 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
MWeb公司 3份文件引用(2011–2015) 软件作者： 分析，Anastasia；格里戈里斯·安东尼奥；卡洛斯·维加斯·达马西奥 相关软件： 平滑；SPARQL；三重… 主要字段： 计算机科学（68-XX）