[PPT] - On Confluence of Innermost Terminating Term Rewriting Systems PowerPoint Presentation