@inproceedings{Kreutzer02,
  author = "S. Kreutzer",
  booktitle = "Proc. of the 17th Symp. on Logic in Computer Science (LICS)",
  pages = "403 -- 413",
  title = "Expressive Equivalence of Least and Inflationary Fixed-Point Logic",
  year = "2002",
}