Many bounded versions of undecidable problems are NP-hard | Publicación