TY - RPRT TI - Describing finite groups by short first-order sentences AU - Andre Nies AU - Katrin Tent PY - 2016 UR - https://arxiv.org/abs/1409.8390 ID - 1409.8390 ER -