Small cancellation theory and automatic groups