法律规则ML 5份文件引用(2017–2020) 软件作者： 林和攀；穆斯塔法·哈什米；塔拉·阿桑；圭多总督府；莫妮卡·帕尔米拉尼；阿德里安·帕斯奇克；亚当·怀纳 相关软件： GitHub；精益；逻辑键… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
AnaCon公司 2份文件引用(2013–2017) 软件作者： 克拉西米尔·安吉洛夫（Krasimir Angelov）；约翰·卡米莱里（John J.Camilleri）。；杰拉尔多·施奈德 相关软件： 宗派；法律规则ML；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）