@article{21947, author = {Yuri Gurevich and Saharon Shelah}, title = {Fixed-point extensions of first-order logic}, year = {1986}, journal = {Annals of Pure and Applied Logic}, volume = {32}, pages = {265-280}, language = {eng}, }