@article{DawarGraKre04,
  author = "Anuj Dawar and Erich Gr{\"a}del and Stephan Kreutzer",
  journal = "ACM Transactions on Computational Logic (TOCL",
  number = "2",
  pages = "282 - 315",
  title = "Inflationary Fixed Points in Modal Logics",
  volume = "5",
  year = "2004",
}