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

by Y Gurevich, S Shelah
Venue:26th 1EEE Syrup. on Foundations of Computer Science