A descending chain condition for groups definable in o-minimal structures - Berarducci, A; Otero, M; Peterzil, Y; Pillay, A; (Annals Of Pure And Applied Logic, 2005)