[PPT] - An L 3 -U 3 -quotient algorithm for finitely presented groups PowerPoint Presentation