伊西查尔 56篇文献引用(2010–2023) 软件作者： 沃龙科夫，A。 相关软件： 吸血鬼；E定理证明器；TPTP… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；群论和推广（20-XX）…
ConfiChair公司 4份文件引用(2013–2021) 软件作者： 阿拉皮尼斯，迈托；塞尔吉·布尔苏克；马克·瑞恩 相关软件： ProVerify；FlowFox；CoSMed… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
CoCon公司 1份文件引用(2021) 软件作者： 安德烈·波佩斯库；彼得·兰米奇（Peter Lammich）；侯萍 相关软件： FlowFox；存档正式证据；CoSMed… 主要字段： 计算机科学（68-XX）