S.: Fixed-point extensions of first order logic (1986)

by Y Gurevich, Shelah
Venue:Annals of Pure and Applied Logics 32