Acar, E.; Benerecetti, M.; Mogavero, F. Satisfiability in Strategy Logic Can Be Easier Than Model Checking. AAAI 2019, 33, 2638-2645.