"Model-Checking Games for Fixpoint Logics with Partial Order Models."

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