Refinement Operators Can Be (Weakly) Perfect.

Liviu Badea, Monica Stanciu

Browse the full ILP paper archive.