C. Sternagel, “Certified Kruskal’s Tree Theorem”, JFR, vol. 7, no. 1, pp. 45–62, Jan. 2014.