N. Gatti, M. Rocco, and T. Sandholm, “Algorithms for Strong Nash Equilibrium with More than Two Agents”, AAAI, vol. 27, no. 1, pp. 342-349, Jun. 2013.