DRAGO公司 2份文件引用(2009–2014) 软件作者： L.Serafini和A.Tamilin 相关软件： 赛车手；FaCT++；颗粒… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CL校准仪 2份文件引用(2014–2015) 软件作者： Nalon，Cláudia；张澜；克莱尔·狄克逊；乌尔里希·赫斯塔特 相关软件： TATL；VAMPIRE公司；TRP++… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）