Spin(7)-manifolds in compactifications to four dimensions | Publicación