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

by Y GUREVICH, S SHELAH
Venue:in “Proceedings, 26th Annu. IEEE Symposium on Foundations of Computer Science