驯鹿 14篇文献引用(2004–2012) 软件作者： O.Fissoor、I.Gneedig、H.Kirchner 相关软件： 莫德；AProVE；ELAN… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
条件合流 9份文件引用(2014–2022) 软件作者： 托马斯·斯特纳格尔（Thomas Sternagel）；阿尔特·米德尔多普 相关软件： 莫德；塞加瓦；CSI… 主要字段： 计算机科学（68-XX）