Learning Invariants using Decision Trees
Programs for machine learning Part I