Heinrich Herre Michal Krynicki Alexander Pinus Jouko A. Väänänen The Härtig Quantifier: A Survey. 1153-1183 1991 56 J. Symb. Log. 4 db/journals/jsyml/jsyml56.html#HerreKPV91