H. Jerome Keisler Wilbur Walkoe Jr. The Diversity of Quantifier Prefixes. 79-85 1973 38 J. Symb. Log. 1 db/journals/jsyml/jsyml38.html#KeislerW73