Proving Confluence of Term Rewriting Systems via Persistency and Decreasing Diagrams. - Takahito Aoto 001; Yoshihito Toyama; Kazumasa Uchida (RTA-TLCA, 2014)