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