J. Chen, Z. Li, Z. Li, S. Shen, and G. Sun, “The Non-Existence of Algorithm Deciding Whether a Constructive Compact Topological Space is Simply Connected”, STECEP, vol. 3, no. 3, p. 8802, Jul. 2025.