Complexity-class-encoding sets
scientific article; zbMATH DE number 3553755