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