波登，泰国;卡斯滕·福斯;劳雷·贡诺德 分析术语重写的并行复杂性。 （英语） Zbl 1522.68253号 Alicia Villanueva（编辑），基于逻辑的程序合成和转换。第32届国际研讨会，LOPSTR 2022，格鲁吉亚第比利斯，2022年9月21日至23日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13474, 3-23 (2022).MSC公司：2012年第68季度 68号30 2010年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Baudon}等人，Lect。注释计算。科学。13474，3--23（2022；Zbl 1522.68253） 全文： 内政部 arXiv公司 哈尔
弗洛里安·弗洛恩;吉尔根·吉斯尔 术语重写的恒定运行时复杂性是半决定的。 （英语） Zbl 1478.68111号 信息处理。莱特。 139, 18-23 (2018).MSC公司：2012年第68季度 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛F.Frohn｝和\textit｛J.Giesl｝，信息处理。莱特。139、18-23（2018；Zbl 1478.68111） 全文： 内政部
托马斯·斯特罗德;吉尔根·吉斯尔;马克·布罗克施米特;弗洛里安·弗洛恩;卡斯滕·福斯;赫塞尔，杰拉;彼得·施奈德·坎普;科尼利厄斯·阿斯切尔曼 使用指针算法自动证明程序的终止和内存安全。 （英语） 兹比尔1409.68077 J.汽车。推理 58，第1号，33-65（2017）.MSC公司：68号30 2012年第68季度 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{T.Ströder}等人，J.Autom。推理58，No.1，33--65（2017；Zbl 1409.68077） 全文： 内政部 链接