宗派 7份文件引用(2009–2017) 软件作者： Stephen Fenech、Gordon J.Pace、Gerardo Schneider 相关软件： 安纳康；法律规则ML；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
AnaCon公司 2份文件引用(2013–2017) 软件作者： 安吉洛夫，克拉西米尔；约翰·卡米莱里（John J.Camilleri）。；杰拉尔多·施奈德 相关软件： 宗派；法律规则ML；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）