@phdthesis{Kreutzer02c,
  title = "Pure and Applied Fixed-Point Logics",
  author = "S. Kreutzer",
  year = "2002",
  school = "Dissertation thesis, RWTH Aachen",
}