zbMATH中的参考文献（参考12篇文章，1标准件)

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