@inproceedings{BradfieldKre05,
  author = "Julian Bradfield and Stephan Kreutzer",
  booktitle = "Proceedings of the 14th Annual Conference of the European Association for Computer Science Logic (CSL)",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  title = "The Complexity of Independence-Friendly Fixpoint Logic",
  volume = "3634",
  year = "2005",
}