HCV, a heuristic covering algorithm for extension matrix approach - Wu, Xingdong (1992)