zbMATH参考文献（14篇文章引用了，2标准条款)

1. Sutcliffe，Geoff:TPTP问题库和相关基础设施。从CNF到TH0，TPTP v6.4.0（2017）
2. Lyaletski，Alexander:一阶逻辑中的证据算法和推理搜索（2015）
3. 阿拉马，杰西；卡勒，莱因哈德：检查证据（2013年）
4. Geuvers，Herman；Nederpelt，Rob:N.G.de Bruijn对数学形式化的贡献（2013）
5. Letichevsky，A.A.；Lyaletski，A.V.；Morokhovets，M.K.：Glushkov证据算法（2013）
6. 克拉默，马可斯；科普克，彼得；施罗德，伯恩哈德：纳普罗什系统中符号数学的解析和消歧（2011）
7. 奥特西耶，谢尔盖；迪特里希，多米尼克：声明性证明的策略语言（2010）
8. 马可斯·克拉默；彼得·科普克；丹尼尔·库尔文；伯恩哈德·施罗德：《纳普罗什系统中的前提选择》（2010）
9. Lyaletski，Alexander；Verchinine，Konstantin:用于自动推理的证据算法和系统：回顾性观点。（为纪念EA公告发布40周年）（2010年）
10. Geuvers，H.：证明助理：历史、想法和未来（2009）
11. 康斯坦丁·维奇宁、亚历山大·莱莱斯基、安德烈·帕斯凯维奇、安纳托利·阿尼西莫夫：《从逻辑和实践的角度看数学文本的正确性》（2008）
12. 康斯坦丁·韦尔奇宁；亚历山大·莱莱斯基；安德烈·帕斯凯维奇：自动演绎系统（SAD）：证据验证工具（2007）
13. 亚历山大·莱莱斯基、安德烈·帕斯凯维奇、康斯坦丁·维奇宁：作为一名数学助手，我们应该如何从这里走到那里？（2006年）
14. Lyaletski，Alexander；Paskevich，Andrey；Verchinine，Konstantin:系统SAD中的定理证明与证明验证（2004）