[PPT] - On a rewriting approach to satisfiability procedures: extension, PowerPoint Presentation