TeSSLa公司 6篇文献引用(2018–2022) 软件作者： 召集人，卢卡斯；塞巴斯蒂安·亨格瑞克；Martin Leucker；托本·谢菲尔；施密茨，马尔特；丹尼尔·托马 相关软件： LOLA；蒙保利；信号… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
DReX公司 4份文件引用(2015–2022) 软件作者： 拉杰夫·阿鲁尔；Loris D'Antoni；穆昆德·拉戈塔曼 相关软件： 蒙保利；卢斯特；LOLA… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）