@inproceedings{Kreutzer02b,
  title = "Partial Fixed-Point Logic on Infinite Structures",
  author = "S. Kreutzer",
  year = "2002",
  booktitle = "Annual Conference of the European Association for Computer Science Logic (CSL)",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "2471",
}