TY  - RPRT
TI  - Learning Invariants using Decision Trees
AU  - Siddharth Krishna
AU  - Christian Puhrsch
AU  - Thomas Wies
PY  - 2015
UR  - https://arxiv.org/abs/1501.04725
ID  - 1501.04725
ER  -