1: \begin{abstract}

2: We prove a conjecture made by Gilman in 1984 that the groups presented by finite, monadic, confluent rewriting systems are precisely the free products of free and finite groups.

3: \end{abstract}

4: