Ludomir Newelski On Type Definable Subgroups of a Stable Group. 173-187 1991 32 Notre Dame Journal of Formal Logic 2 db/journals/ndjfl/ndjfl32.html#Newelski91