Small cancellation theory and automatic groups. S.M. Gersten; H.B. Short — 1990 Inventiones mathematicae