@inproceedings{DawarGraKre01,
  title = "Inflationary Fixed Points in Modal Logics",
  author = "A. Dawar and E. Gr{\"a}del and S. Kreutzer",
  year = "2001",
  booktitle = "Proc. of the 10th Conf. on Computer Science Logic (CSL)",
  pages = "277--291",
  publisher = "#springer#",
  series = "Lecture Notes in Computer Science",
  volume = "2142",
}