Finding the smallest binarization of a CFG is NP-hard | Publicación