Automatic quotients of free groups

Automatic groups admitting prefix-closed automatic structures with uniqueness are characterized as the quotients of free groups by normal subgroups possessing sets of free generators satisfying certain language-theoretic conditions.