Fixed-point extensions of order logic (1986)

by Y Gurevich, S Shelah
Venue:Ann. Pure Appl. Log