Jean Goubault-Larrecq. A Constructive Proof of the Topological Kruskal Theorem.
Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science (MFCS'13), volume 8087 of Lecture Notes in Computer Science, pages 22--41, Klosterneuburg, Austria, August 2013. Springer., pp.22-41, 2013,
⟨10.1007/978-3-642-40313-2_3⟩.
⟨hal-03189943⟩