Model-checking games for logics of imperfect information (0)

by E GRÄDEL
Venue:Theoretical Computer Science