The Complexity of Independence−Friendly Fixpoint Logic - Bradfield, J; Kreutzer, S (College Publications‚ London‚ 2007, 2007)