Gatti, N.; Iuliano, C. Computing an Extensive-Form Perfect Equilibrium in Two-Player Games. AAAI 2011, 25, 669-674.