Splitting and merging version spaces to beam disjunctive concepts

We have modified the original version space strategy in order to learn disjunctive concepts incrementally and without saving past training instances. The algorithm time complexity is also analyzed, and its correctness is proven.