库兹涅佐夫（Stepan L.Kuznetsov）。 通过非充分证据证明具有指数的无限动作逻辑片段的复杂性。 （英语） Zbl 07532524号 Das，Anupam（编辑）等人，《使用分析表和相关方法的自动推理》。第30届国际会议，2021年9月6日至9日，英国伯明翰，TABLEAUX 2021。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12842, 317-334 (2021).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Kuznetsov}，莱克特。注释计算。科学。12842、317--334（2021；Zbl 07532524） 全文： 内政部
库兹涅佐夫、斯蒂芬·利沃维奇 克莱恩星，没有收缩的次指数，以及无限计算。 （英语） Zbl 07411055号 同胞。È勒克特隆。Mat.Izv公司。 18，第2号，905-922（2021）.MSC公司：03楼52 PDF格式BibTeX公司 XML格式引用 \textit｛S.L.Kuznetsov｝，兄弟。È勒克特隆。Mat.Izv公司。18，编号2，905--922（2021；Zbl 07411055） 全文： 内政部