Sternagel, Christian. “Certified Kruskal’s Tree Theorem”. Journal of Formalized Reasoning 7, no. 1 (January 1, 2014): 45–62. Accessed February 8, 2023. https://jfr.unibo.it/article/view/4213.