F. Ranzato and M. Zanella, “Abstract Interpretation of Decision Tree Ensemble Classifiers”, AAAI, vol. 34, no. 04, pp. 5478-5486, Apr. 2020.