[PPT] - The Computational Content of the Constructive Kruskal Tree Theorem PowerPoint Presentation