zbMATH中的参考文献（参考文献14条,2标准条款)

1. Sutcliffe，Geoff:TPTP问题库和相关基础设施。从CNF到TH0，TPTP v6.4.0（2017）
2. Lyaletski，Alexander:一阶逻辑中的证据算法和推理搜索（2015）
3. 阿拉玛，杰西；Kahle，Reinhard:检查证据（2013）
4. 格韦尔斯，赫尔曼；尼德佩尔特，Rob:N.G.de Bruijn对数学形式化的贡献（2013）
5. 莱蒂切夫斯基，美国。；莱莱斯基，A.V。；Morokhovets，M.K.：Glushkov证据算法（2013）
6. 克拉默，马科斯；彼得·柯普克；Schröder，Bernhard:Naproche系统中符号数学的解析与消歧（2011）
7. 奥特西耶，谢尔盖；Dietrich，Dominik:陈述式证明的策略语言（2010）
8. 克拉默，马科斯；彼得·柯普克；居尔温，丹尼尔；施罗德，伯恩哈德：纳普罗什系统的前提选择（2010）
9. 亚历山大·莱莱斯基；Verchinine，Konstantin:自动推理的证据算法和系统：回顾性的观点。（为纪念EA公告发布40周年）（2010年）
10. Geuvers，H.：证明助理：历史、想法和未来（2009）
11. 维奇宁、康斯坦丁；亚历山大·莱莱斯基；帕斯基维奇，安德烈；Anatoly，Anatoly:从逻辑和实践的角度看数学文本的正确性（2008）
12. 维奇宁、康斯坦丁；亚历山大·莱莱斯基；Andrei Paskevich:自动扣除系统（SAD）：证据验证工具（2007）
13. 亚历山大·莱莱斯基；帕斯基维奇，安德烈；康斯坦丁：作为一个数学助手，我们应该如何从这里到那里？（2006年）
14. 亚历山大·莱莱斯基；帕斯基维奇，安德烈；Verchinine，Konstantin:系统SAD中的定理证明与证明验证（2004）