Refining Logic Theories under OI-Implication