"Model-checking games for fixpoint logics with partial order models."

Julian Gutierrez, Julian C. Bradfield (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics