PREFERRED EXTENSIONS ARE PARTIAL STABLE MODELS