Fixed-point extensions of first-order logic (1986)

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