Text this: Reasoning about Strategies: on the Satisfiability Problem