Bruce I. Rose Rings which Admit Elimination of Quantifiers. 92-112 1978 43 J. Symb. Log. 1 db/journals/jsyml/jsyml43.html#Rose78