zbMATH参考文献（参考 89篇文章 参考）

1. 卢卡斯，萨尔瓦多：使用有根据的关系证明运营终止（2020年）
2. Hirokawa，Nao；Nagele，Julian；Middeldorp，Aart:Cops和CoCoWeb:infrastructure for confluence tools（2018年）
3. Felgenhauer，Bertram；Thiemann，René：状态相容自动机的可达性、合流性和终止性分析（2017）
4. Iborra，José；Nishida，Naoki；Vidal，Germanán；Yamada，Akihisa：通过依赖关系对的相对终止（2017）
5. Lucas，Salvador；Meseguer，José：证明条件项重写系统终止性质的依赖对（2017）
6. Moser，Georg:KBOs，序数，子递归层次结构和所有这些（2017）
7. 《大卫矩阵的终结》（2017年《大卫矩阵的终结》和《大卫矩阵的改写》）
8. Sternagel，Christian；Sternagel，Thomas:证明准递减强确定性条件项重写系统的合流（2017）
9. Ábrahám，Erika；Kremer，Gereon：满意度检验：理论与应用（2016）
10. Aoto，Takahito；Kikuchi，Kentaro:名义汇流工具（2016）
11. Avanzini，Martin；Moser，Georg：《复杂性的组合框架》（2016）
12. Yamada，Akihisa；Sternagel，Christian；Thiemann，René；Kusakari，Keiichirou：重新审视AC依赖关系对（2016年）
13. Gutiérrez，劳尔；Lucas，Salvador:终止上下文相关重写时冻结位置的函数调用（2015）
14. Iborra，José；Nishida，Naoki；Vidal，Germanán；Yamada，Akishisa：减少依赖对问题的相对终止（2015）
15. Zankl，Harald；Winkler，Sarah；Middeldorp，Aart:超越多项式和皮亚诺算术——初等和序数解释的自动化（2015）
16. Kordy，Barbara；Mauw，Sjouke；Radomirović，Saša；Schweitzer，Patrick：攻击防御树（2014）
17. Neurater，Friedrich；Middeldorp，Aart:对自然数、有理数和实数的多项式解释（2014）
18. Zankl，Harald；Korp，Martin:术语重写的模块复杂性分析（2014）
19. Aoto，Takahito:通过解释和排序来反驳术语重写系统的融合（2013）
20. Bofill，Miquel；Borralleras，Cristina；Rodríguez Carbonell，Enric；Rubio，Albert:一阶和高阶项的递归路径和多项式排序（2013）