Stallings automata for free-times-abelian groups: intersections and index | Publicación