@inproceedings{BradfieldKre07,
  title = "The Complexity of Independence-Friendly Fixpoint Logic",
  author = "Julian Bradfield and Stephan Kreutzer",
  year = "2007",
  booktitle = "Foundations of the Formal Sciences V - Infinite Games (FotFS V)",
  publisher = "College Publications, London, 2007",
  series = "Studies in Logic",
  volume = "11",
}