Oink公司 13份文件引用(2018–2022) 软件作者： T·迪克。 相关软件： PGSolver；条纹；mCRL2… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
数据日志LITE 9份文件引用(2002–2019) 软件作者： 乔治·戈特洛布（Georg Gottlob）；Erich Grädel；赫尔穆特·维思 相关软件： XPath；中尉；ComputeTW… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
增量CCS 4份文件引用(2015–2020) 软件作者： 马耳他州洛豪；Stephan门尼克；Hauke Baller；拉尔斯·里贝克 相关软件： VMC；自旋蛋白；莫德… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
MoMo公司 4份文件引用(2005–2014) 软件作者： 德尼古拉（De Nicola）、罗科（Rocco）；米歇尔·洛雷蒂 相关软件： 科莱姆；SLMC；COPASI… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）