第页，共页 25篇文献引用(2005–2022) 软件作者： 塞巴斯蒂安·莫德谢姆，卢卡·维甘诺 相关软件： AVISPA；NRL；Casper… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
马亚 23篇文献引用(2002–2015) 软件作者： Dieter Hutter；谢尔盖·奥特西尔 相关软件： CASL；米扎尔；伊莎贝尔… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
莫塞尔 5份文件引用(1997–2018) 软件作者： P.Kelb、T.Margaria、M.Mendler、C.Gsottberger 相关软件： MONA；Z；EMBOSS… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
伊曼德拉 5份文件引用(2020–2022) 软件作者： 格兰特·奥尼·帕斯莫尔（Grant Olney Passmore）、西蒙·克鲁恩斯（Simon Cruanes）、丹尼斯·伊格纳托维奇（Denis Ignatovich）、戴夫·艾特肯（Dave Aitken）、马特·布雷（Matt Bray 相关软件： 吸血鬼；SMT-LIB；芝诺… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
RDL公司 4份文件引用(2001–2005) 软件作者： 亚历山德罗·阿曼多；卢卡·孔帕尼亚（Luca Compagna）；西尔维奥·兰伊斯 相关软件： NQTHM；ACL2；剑桥LCF… 主要字段： 计算机科学（68-XX）
CoSMed公司 3份文件引用(2016–2021) 软件作者： 托马斯·博埃里；佩森提·格里蒂（Pesenti Gritti），阿曼多（Armando）；安德烈·波佩斯库；佛朗哥·雷蒙迪 相关软件： FlowFox；CAVA LTL模型检查器；网址（Ur/Web）… 主要字段： 计算机科学（68-XX）
丽莎 1份文件引用(1998) 软件作者： 阿卜杜勒瓦赫卜·阿亚里；David Basin；安德烈亚斯·波德尔斯基 相关软件： 莫塞尔；STeP；MONA公司 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）