Algorithmic recognition of infinite cyclic extensions | Publicación