Ali Nesin Anand Pillay Vladimir Razenj Groups of Dimension Two and Three Over o-Minimal Structures. 279-296 1991 53 Ann. Pure Appl. Logic 3 db/journals/apal/apal53.html#NesinPR91