On the strongly generic undecidability of the halting problem
scientific article; zbMATH DE number 5161899
scientific article