1. Blass, A. and Gurevitch, Y. (1986). Henkin quantifiers and complete problems. Annals of Pure and Applied Logic, 32: 1–16.
2. Fagin, R,. (1974). Generalized first-order spectra and polynomial-time recognizable sets. SIAM-AMS Proceedings, 7: 43–73.
3. Golinska, J. (1999). The Spectrum Problem for the Languages with Henkin Quantifiers. Master Thesis, University of Warsaw, Warszawa.
4. Golinska, J. (2000). On some operations on spectra of logics with Henkin quantifiers. Unpublished.
5. Krynicki, M. and Mostowski, M. (1992). Decidability problems in languages with Henkin quantifiers. Annals of Pure and Applied Logic, 58: 149–172.