Satisfiability games for branching-time logics
scientific article; zbMATH DE number 6215586