1. Aoto, T., Toyama, Y.: Persistency of confluence. Journal of Universal Computer Science 3(11), 1134–1147 (1997)
2. Lecture Notes in Computer Science;T. Aoto,2009
3. Bezem, M., Klop, J., van Oostrom, V.: Diagram techniques for confluence. I&C 141(2), 172–204 (1998)
4. Lecture Notes in Computer Science;M. Codish,2006
5. Lecture Notes in Computer Science;N. Dershowitz,2005