S.  Ruggieri, ?Enumerating Distinct Decision Trees?, in International Conference on Machine Learning, 2017.