paperInductive Methods and zero-sum free sequencesarXiv:0711.1262AbstractWe obtain a decidability result for the Davenport constant.