Model Checking Games for Branching Time Logics (2002)

by M Lange, C Stirling
Venue:Journal of Logic Computation