Reasoning about Strategies: on the Satisfiability Problem (Logical Methods in Computer Science, 2017)

(untitled) - Mogavero, F; Murano, A; Perelli, G; Vardi, M