Sternagel, C. Certified Kruskal’s Tree Theorem. JFR 2014, 7, 45-62.