Mailath, G.J.; Samuelson, L. - Wisconsin Madison - Social Systems - 1996
We show that a strategy profile of a normal form game is proper if and only if it is quasi-perfect in every extensive form (with that normal form). Thus, properness requires optimality along a sequence of supporting trembles, while sequentiality only requires optimality in the limit.