基于正则蕴涵算子的反向三I算法
기우정칙온함산자적반향삼I산법
Reverse three I Algorithm Based on Regular Implication