1: \begin{abstract}
2: A finitely generated group admits a decomposition, called its {\it
3: Grushko decomposition}, into a free product of freely indecomposable
4: groups. There is an algorithm to construct the Grushko decomposition
5: of a finite graph of finite rank free groups. In particular, it is
6: possible to decide if such a group is free.
7: \end{abstract}
8: