Design of termination criterion of BMS algorithm for lexicographical ordering
牟晨琪
Journal of Computer Applications . 2012, (11): 2977 -2980 .  DOI: 10.3724/SP.J.1087.2012.02977