Inverse subsumption algorithm.
bar to overline.
Negative examples algorithm added.