Model-checking games for fixpoint logics with partial order models - Gutierrez, J; Bradfield, J (2011)