Alessandro Berarducci Margarita Otero Ya'acov Peterzil Anand Pillay A descending chain condition for groups definable in <i>o</i>-minimal structures. 303-313 2005 134 Ann. Pure Appl. Logic 2-3 http://dx.doi.org/10.1016/j.apal.2005.01.002 db/journals/apal/apal134.html#BerarducciOPP05