Model-checking games for fixpoint logics with partial order models (Information and Computation, 2010)

(untitled) - Gutierrez, J; Bradfield, J