zbMATH中的参考文献（引用于，1标准件)

1. Czajka，Łukasz；Kaliszyk，Cezary:Hammer for Coq:依赖型理论的自动化（2018）
2. Otten，Jens:Nanocop:非条款连接证明（2016）
3. 奥顿，詹斯：非子句连接演算（2011）
4. Otten，Jens:LeanCop2.0和ileanCoP 1.2：经典和直觉逻辑中的高性能精益定理证明。（系统描述）（2008）
5. 托马斯·拉思；奥滕，詹斯；克里茨，克里斯托夫：直觉逻辑的ILTP问题库（2007）
6. Allen，S.F.；Bickford，M.；Constable，R.L.；Eaton，R.；Kreitz，C.；Lorigo，L.；Moran，E.：使用Nuprl计算类型理论的创新（2006）
7. Otten，Jens:直觉一阶逻辑中基于子句连接的定理证明（2005）
8. Kreitz，Christoph:用Nuprl验证开发系统构建可靠、高性能的网络（2004）
9. Kreitz，Christoph；Mantel，Heiko:乘法指数线性逻辑的矩阵特征（2004）
10. Goré，Rajeev（编辑）；Leitsch，Alexander（编辑）；Nipkow，Tobias（编辑）：自动推理。2001年6月18日至22日在意大利锡耶纳举行的第1届国际联席会议。诉讼（2001年）
11. Stephan Schmitt；Lorigo，Lori；Kreitz，Christoph；Nogin，Aleksey:JProver:将基于连接的定理证明集成到交互式证明助手中（2001）