OPUS: An Efficient Admissible Algorithm for Unordered Search
The CN2 induction algorithm