@article{Kreutzer04,
  author = "Stephan Kreutzer",
  journal = "Annals of Pure and Applied Logic",
  note = "LICS 2002 Selected Paper Issue",
  number = "1-3",
  pages = "61--78",
  title = "Expressive Equivalence of Least and Inflationary Fixed-Point Logic",
  volume = "130",
  year = "2004",
}