Refinement Operators Can Be (Weakly) Perfect. - Liviu Badea; Monica Stanciu (ILP, 1999)