Learning Invariants using Decision Trees. - Krishna, Siddharth; Puhrsch, Christian; Wies, Thomas (CoRR, 2015)