MONA公司 142篇文献引用(1995–2023) 软件作者： 克拉伦德，尼尔斯；莫勒，安德斯；迈克尔·施瓦茨巴赫（Michael I.Schwartzbach）。；J·埃尔加德。 相关软件： z3；DCVALID；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
MSO_Regex_当量 7份文件引用(2013–2018) 软件作者： 德米特里·特拉泰尔（Dmitriy Traytel）；托比亚斯·尼普科 相关软件： Presburger Automata；Myhill-Nerode；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
摩塞尔 5份文件引用(1997–2018) 软件作者： P.Kelb、T.Margaria、M.Mendler、C.Gsottberger 相关软件： MONA；Z；EMBOSS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TravMC2（移动MC2） 5份文件引用(2016–2020) 软件作者： Robin P.Neatherway，C.-H.Luke Ong 相关软件： ByMC；GitHub；MoCHi… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
FMona公司 3份文件引用(2000–2021) 软件作者： Bodeveix，J.-P。；M·菲拉利。 相关软件： MONA；反链；臀部… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
利瓦塔 1份文件引用(2019) 软件作者： Ondrej Lengal；吉里·西马切克；托马斯·沃伊纳；马丁·赫鲁斯卡；卢卡斯·霍利克 相关软件： 餐前小吃；反链；LTL2BA… 主要字段： 计算机科学（68-XX）
丽莎 1份文件引用(1998) 软件作者： 阿卜杜勒瓦赫卜·阿亚里；David Basin；安德烈亚斯·波德尔斯基 相关软件： 莫塞尔；STeP；MONA公司 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）