[PPT] - A hierarchical graph-based approach to generating formally-proofed PowerPoint Presentation