CN2

The CN2 system by Clark and Niblett uses a subroutine similar to Learn-One-Rule. CN2 is described by the authors as
This algorithm inductively learns a set of propositional if...then... rules from a set of training examples. To do this, it performs a general-to-specific beam search through rule-space for the "best" rule, removes training examples covered by that rule, then repeats until no more "good" rules can be found.
As such, CN2 is a sequential covering algorithm.