Small Turing machines and generalized busy beaver competition
scientific article; zbMATH DE number 2126105
scientific article