TRP公司++ 20篇文献引用(2004–2023) 软件作者： Hustadt，U.，Konev，B。 相关软件： NuSMV；SPASS；利维坦… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
解除束缚 12份文件引用(2011–2023) 软件作者： 吕迪格·埃勒斯 相关软件： 相思树+；条纹；BoSy… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
数据日志LITE 9份文件引用(2002–2019) 软件作者： 乔治·戈特洛布（Georg Gottlob）；Erich Grädel；赫尔穆特·维思 相关软件： XPath；中尉；ComputeTW… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
OCRA公司 9份文件引用（2015年至2022年） 软件作者： Cimatti，A。；Dorigatti，M。；托内塔，S。 相关软件： nuXmv；NuSMV；数学SAT5… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
J-LO公司 3份文件引用(2009–2012) 软件作者： 埃里克·博登（Eric Bodden）；沃尔克·斯托尔茨 相关软件： 方面J；Java-MOP；DaCapo… 主要字段： 计算机科学（68-XX）
LTL至GBA 1份文件引用(2019) 软件作者： 亚历山大·辛普夫（Alexander Schimpf）；彼得·兰米奇 相关软件： Dijkstra最短路径；自动参考；实际（_I）… 主要字段： 计算机科学（68-XX）