The HOM problem is decidable | Publicación