N. Gatti and C. Iuliano, “Computing an Extensive-Form Perfect Equilibrium in Two-Player Games”, AAAI, vol. 25, no. 1, pp. 669-674, Aug. 2011.