Algebraic Property of Rough Implication Based on Interval Structure. - Zhanao Xue; Hua-cano He; Yingcang Ma (IIP, 2004)