Relating Confluence, Innermost-confluence and Outermost-confluence Properties of Term Rewriting SystemsRao · Acta Informatica1996PDF698 KB
Proving Confluence in the Confluence Framework with CONFidentGutiérrez · Fundamenta Informaticae, Volume 192, Issue 2: LOPSTR 2022 (November 10, 2024) fi:115152023PDF
Herbrand-ConfluenceHetzl · Logical Methods in Computer Science, Volume 9, Issue 4 (December 18, 2013) lmcs:7272013PDF