Gatti, N.; Rocco, M.; Sandholm, T. Algorithms for Strong Nash Equilibrium With More Than Two Agents. AAAI 2013, 27, 342-349.