字典序下BMS算法终止条件的设计
자전서하BMS산법종지조건적설계
Design of termination criterion of BMS algorithm for lexicographical ordering