E. Acar, M. Benerecetti, and F. Mogavero, “Satisfiability in Strategy Logic Can Be Easier than Model Checking”, AAAI, vol. 33, no. 01, pp. 2638-2645, Jul. 2019.