Cristian S. Calude, Monica Dumitrescu: A statistical anytime algorithm for the Halting Problem. Comput. 9(2): 155-166 (2020)