Michal Krynicki Alistair H. Lachlan On the Semantics of the Henkin Quantifier. 184-200 1979 44 J. Symb. Log. 2 db/journals/jsyml/jsyml44.html#KrynickiL79