(1)
Shun, C. L. K. An Algorithmic Approach to Solve Continuum Hypothesis. ajms 2021, 5.