@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},
}