@inbook{Kreutzer03,
  title = "Pure and Applied Fixed-Point Logics",
  author = "Stephan Kreutzer",
  year = "2003",
  booktitle = "{A}usgezeichnete {I}nformatik {D}issertationen 2003",
  editor = "D. Wagner et al.",
  note = "in german",
  publisher = "German Informatics Society (GI)",
  series = "Lecture Notes in Informatics - Dissertations",
  volume = "D-3",
}