1. Areces, C., Blackburn, P., Marx, M.: Hybrid logic is the bounded fragment of first order logic. In: de Queiroz, R., Carnielli, W. (eds.) Proceedings of 6th Workshop on Logic, Language, Information and Computation, WOLLIC 1999, Rio de Janeiro, Brazil, pp. 33–50 (1999)
2. Feferman, S., Kreisel, G.: Persistent and invariant formulas relative to theories of higher order. Bulletin of the American Mathematical Society 72, 480–485 (1966), Research Announcement
3. Feferman, S.: Persistent and invariant formulas for outer extensions. Compositio Mathematica 20, 29–52 (1968)
4. Halmos, P.: Algebraic Logic. Chelsea Publishing Company (1962)
5. Pinter, C.: A simple algebra of first order logic. Notre Dame Journal of Formal Logic 1, 361–366 (1973)