@inproceedings{GraedelKre03,
  author = "E. Gr{\"a}del and S. Kreutzer",
  booktitle = "IEEE Symp. of Logic in Computer Science (LICS)",
  title = "Will Deflation Lead to Depletion? On Non-Monotone Fixed-Point Inductions",
  year = "2003",
}