COVERING (RULE-BASED) ALGORITHMS