Michal Krynicki Marcin Mostowski Decidability Problems in Languages with Henkin Quantifiers. 149-172 1992 58 Ann. Pure Appl. Logic 2 db/journals/apal/apal58.html#KrynickiM92